12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday May 05, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 23:54, 6 July 2013
, 23:54, 6 July 2013no edit summary
{{DISPLAYTITLE:Propositions As Types}}
{{DISPLAYTITLE:Propositions As Types}}
'''NB.''' In this discussion, combinators are being applied on the right of their arguments. The resulting formulas will look backwards to people who are accustomed to applying combinators on the left.
==Identity, or the Identifier==
==Identity, or the Identifier==
# http://stderr.org/pipermail/inquiry/2005-July/002896.html
# http://stderr.org/pipermail/inquiry/2005-July/002896.html
[[Category:Combinator Calculus]]
[[Category:Combinatory Logic]]
[[Category:Combinatory Logic]]
[[Category:Computer Science]]
[[Category:Computer Science]]
[[Category:Graph Theory]]
[[Category:Graph Theory]]
[[Category:Lambda Calculus]]
[[Category:Logic]]
[[Category:Logic]]
[[Category:Logical Graphs]]
[[Category:Logical Graphs]]
