Changes

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

Revision as of 05:20, 29 January 2013

24 bytes added , 05:20, 29 January 2013

→‎Inquiry List, Commentary : Jul 2005: fix typo

Line 2,616: Line 2,616:

[[Category:Logical Graphs]]

[[Category:Logical Graphs]]

[[Category:Mathematics]]

[[Category:Mathematics]]

−

[[Category:~~Programmming~~ Languages]]

+

[[Category:Programming Languages]]

+

[[Category:Type Theory]]

12,089

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/171146"