12,224
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 23:14, 22 March 2009
, 23:14, 22 March 2009segment
| |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
</pre>
==Commentary==
===Commentary Note 1===
<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
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>
===Commentary Note 2===
<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
| 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>
==Work Area==
<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:
| 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