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