https://en.formulasearchengine.com/index.php?action=history&feed=atom&title=Type_theory 2026-05-03T22:45:39Z Revision history for this page on the wiki MediaWiki 1.43.0-wmf.28 https://en.formulasearchengine.com/index.php?title=Type_theory&diff=221678&oldid=prev 2014-12-10T20:20:48Z

<p>Simplified and specified referential rationale for currying support in type judgement notation.</p> <a href="https://en.formulasearchengine.com/index.php?title=Type_theory&amp;diff=221678&amp;oldid=1205">Show changes</a>

en>Rustyfence https://en.formulasearchengine.com/index.php?title=Type_theory&diff=1205&oldid=prev 2014-01-10T16:50:07Z

<p>Reverted 1 edit by <a href="/wiki/Special:Contributions/49.146.195.109" title="Special:Contributions/49.146.195.109">49.146.195.109</a> (<a href="/index.php?title=User_talk:49.146.195.109&amp;action=edit&amp;redlink=1" class="new" title="User talk:49.146.195.109 (page does not exist)">talk</a>) to last revision by 128.232.245.25. (<a href="/index.php?title=WP:TW&amp;action=edit&amp;redlink=1" class="new" title="WP:TW (page does not exist)">TW</a>)</p> <a href="https://en.formulasearchengine.com/index.php?title=Type_theory&amp;diff=1205&amp;oldid=221677">Show changes</a>

en>Tobias Bergemann https://en.formulasearchengine.com/index.php?title=Type_theory&diff=221677&oldid=prev 2012-08-30T19:48:11Z

<p><span class="autocomment">External links: </span> typo...</p> <p><b>New page</b></p><div>Marvella is what you can call her but it&#039;s not the most female title out there. Bookkeeping is what I do. His family members life in South Dakota but his spouse wants them to move. The preferred pastime for my children and me is to play baseball but I haven&#039;t made a dime with it.&lt;br&gt;&lt;br&gt;Also visit my blog home std test - [http://huiyuan.fancai.com/space.php?uid=85084&amp;do=blog&amp;id=473364 click here for more info] -</div>

en>Ruud Koot