Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Propositions As Types
(view source)
Revision as of 02:24, 28 March 2009
35 bytes removed
,
02:24, 28 March 2009
→Deductive System
:
use \dfrac
Line 2,274:
Line 2,274:
|-
|-
|
|
−
::<p><math>\
begin{array}{c}
+
::<p><math>\
dfrac
{~ f : A \to B
\quad
g : B \to C ~}
{
gf : A \to C}</math></p>
−
\underline
{~ f : A \to B
~~~~~
g : B \to C ~}
−
\\
−
gf : A \to C
−
\end{array
}</math></p>
|-
|-
|
|
Jon Awbrey
12,080
edits