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

[Jon Awbrey]

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

PAT.  Note B2

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

I'm working from a sheaf of notes that I wrote out
seven or eight years ago, and what with travel and
vacation and all it looks like it will take the rest
of the summer to come up with a coherent exposition,
but people who are already familiar with the subject
and want to look at it from what I think are a couple
of new angles could peruse the thread that begins here:

PAT A.  http://stderr.org/pipermail/inquiry/2004-June/thread.html#1643

Notice that I am carrying out combinator applications "on the right",
so the formulas might be backwards from what many people are used to.

Jon Awbrey

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