Changes

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

Revision as of 18:06, 18 October 2009

2 bytes removed , 18:06, 18 October 2009

Line 2,223: Line 2,223:

==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.

Jon Awbrey

12,080

edits