12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 18:18, 30 January 2013
, 18:18, 30 January 2013'''NB.''' Notice that I am carrying out combinator applications “on the right”, so the formulas might read backwards from what many people are used to.
{{DISPLAYTITLE:Propositions As Types}}
{{DISPLAYTITLE:Propositions As Types}}
'''NB.''' Notice that I am carrying out combinator applications “on the right”, so the formulas might read backwards from what many people are used to.
==Identity, or the Identifier==
==Identity, or the Identifier==