12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 15:16, 27 March 2009
, 15:16, 27 March 2009→Basic Concepts from Lambek and Scott (1986)
|}
|}
===Graph (Review)===
===Graph 2===
{| align="center" cellpadding="8" width="90%" <!--QUOTE-->
{| align="center" cellpadding="8" width="90%" <!--QUOTE-->
|}
|}
===Deductive System===
===Deductive System 2===
<pre>
<pre>
</pre>
</pre>
===Category (Review)===
===Category 2===
<pre>
<pre>