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

[Jon Awbrey]

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

PAT.  Note B3

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

Here are a couple of references that are especially
pertinent to the use of combinators in computation:

| Lambek, J. and Scott, P.J.,
|'Introduction To Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
| http://titles.cambridge.org/catalogue.asp?isbn=0521356539

| Smullyan, R.,
|'To Mock a Mockingbird, And Other Logic Puzzles,
| Including an Amazing Adventure in Combinatory Logic',
| Alfred A. Knopf, New York, NY, 1985.

Jon Awbrey

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