12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 16:22, 27 March 2009
, 16:22, 27 March 2009→Deductive System 2
|-
|-
|
|
<p><math>\text{R1b.} \quad \dfrac{A \xrightarrow{~f~} B \quad B \xrightarrow{~g~} C}
<p><math>\text{R1b.} \quad \dfrac{A \xrightarrow{~f~} B \quad B \xrightarrow{~g~} C}{A \xrightarrow{~gf~} C}.</math></p>
{A \xrightarrow{~gf~} C}.</math></p>
|-
|-
|
|