Back to Results
First PageMeta Content
Dependently typed programming / Philosophy of computer science / Type theory / Proof theory / Ordinal numbers / Curry–Howard correspondence


INSTRUCTIONS FOR PRODUCING A CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics, Theoretical Physics, 1 Keble Road, Oxford OX1 3NP, England This is where the abstract should be placed. It should consist of one pa
Add to Reading List

Document Date: 2015-04-01 17:53:21

Open Document

File Size: 599,84 KB

Share Result on Facebook
UPDATE