[Inquiry] Re: Propositions As Types -- Series B

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PAT.  Note B4

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Another good reference on combinatory logic and lambda calculus,
intermediate in level between the previous two that I mentioned:

| J. Roger Hindley & Jonathan P. Seldin,
|'Introduction to Combinators and [Lambda]-Calculus',
| London Mathematical Society Student Texts #1,
| Cambridge University Press, Cambridge, UK, 1986.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o