Line 2,213: |
Line 2,213: |
| | | | | | | |
| o---------------------------------------------------------------------o | | o---------------------------------------------------------------------o |
| + | </pre> |
| | | |
− | <pre>
| + | ==Commentary== |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
− | PAT. Propositions As Types -- Commentary
| + | ===Commentary Note 1=== |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− | | |
− | PAT. Commentary Note 1
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| I think it's best to begin with a few simple observations, | | I think it's best to begin with a few simple observations, |
| as I frequently find it necessary to return to the basics | | as I frequently find it necessary to return to the basics |
Line 2,272: |
Line 2,267: |
| in functional application and the pattern of information | | in functional application and the pattern of information |
| conversion involved in the logical rule of modus ponens. | | conversion involved in the logical rule of modus ponens. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ===Commentary Note 2=== |
− | | |
− | PAT. Commentary Note 2
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| Re: PAT. http://stderr.org/pipermail/inquiry/2005-July/thread.html#2872 | | Re: PAT. http://stderr.org/pipermail/inquiry/2005-July/thread.html#2872 |
| | | |
Line 2,302: |
Line 2,295: |
| | Cambridge University Press, Cambridge, UK, 1986. | | | Cambridge University Press, Cambridge, UK, 1986. |
| | http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521356539 | | | http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521356539 |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Work Area== |
− | | |
− | PAT. Commentary Note 3
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− | | |
− | | |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− | | |
− | PAT. Work Area
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| I have been posting excerpts to the ONT List, between note_01 & note_30: | | I have been posting excerpts to the ONT List, between note_01 & note_30: |
| | | |
Line 2,582: |
Line 2,565: |
| | deductive systems by imposing an appropriate | | | deductive systems by imposing an appropriate |
| | equivalence relation on proofs. | | | equivalence relation on proofs. |
| + | </pre> |
| + | |
| + | ==Document History== |
| | | |
| + | <pre> |
| o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o | | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o |
| | | |