Changes

MyWikiBiz, Author Your Legacy — Monday May 06, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

Revision as of 23:54, 6 July 2013

43 bytes added ,  23:54, 6 July 2013
no edit summary
Line 2,610: Line 2,610:  
# http://stderr.org/pipermail/inquiry/2005-July/002896.html
 
# http://stderr.org/pipermail/inquiry/2005-July/002896.html
   −
<br><sharethis />
+
[[Category:Combinator Calculus]]
−
 
   
[[Category:Combinatory Logic]]
 
[[Category:Combinatory Logic]]
 
[[Category:Computer Science]]
 
[[Category:Computer Science]]
 
[[Category:Graph Theory]]
 
[[Category:Graph Theory]]
 +
[[Category:Lambda Calculus]]
 
[[Category:Logic]]
 
[[Category:Logic]]
 
[[Category:Logical Graphs]]
 
[[Category:Logical Graphs]]
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/171256...195743"

Navigation menu