![Dependently typed programming / Philosophy of computer science / Type theory / Proof theory / Ordinal numbers / Curry–Howard correspondence Dependently typed programming / Philosophy of computer science / Type theory / Proof theory / Ordinal numbers / Curry–Howard correspondence](https://www.pdfsearch.io/img/b6121b5bb88e77dec03f3635bdb70712.jpg)
| Document Date: 2015-04-01 17:53:21 Open Document File Size: 599,84 KBShare Result on Facebook
City Oxford / / Company World Scientific / / Country United Kingdom / Singapore / / / Organization U.S. Securities and Exchange Commission / CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics / / Position favorite text editor / / Technology pdf / / URL http /
SocialTag |