12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday May 03, 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==
==Bibliography==
==Bibliography==
Here are a three references on combinatory logic and lambda calculus, given in order of difficulty from introductory to advanced, that are especially pertinent to the use of combinators in computer science:
Here are three references on combinatory logic and lambda calculus, given in order of difficulty from introductory to advanced, that are especially pertinent to the use of combinators in computer science:
# Smullyan, R. (1985), ''To Mock a Mockingbird, And Other Logic Puzzles, Including an Amazing Adventure in Combinatory Logic'', Alfred A. Knopf, New York, NY.
# Smullyan, R. (1985), ''To Mock a Mockingbird, And Other Logic Puzzles, Including an Amazing Adventure in Combinatory Logic'', Alfred A. Knopf, New York, NY.
|-
|-
|
|
<p>(Lambek & Scott, 5).
<p>(Lambek & Scott, 5).</p>
|}
|}
# http://stderr.org/pipermail/inquiry/2005-July/002895.html
# http://stderr.org/pipermail/inquiry/2005-July/002895.html
# 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:Computer Science]]
[[Category:Graph Theory]]
[[Category:Lambda Calculus]]
[[Category:Logic]]
[[Category:Logical Graphs]]
[[Category:Mathematics]]
[[Category:Programming Languages]]
[[Category:Type Theory]]
