![Mathematical logic / Proof theory / Dependently typed programming / Lambda calculus / Logic in computer science / Coq / Curry–Howard correspondence / Natural deduction / Dependent type / Programming language theory / Type theory / Mathematics Mathematical logic / Proof theory / Dependently typed programming / Lambda calculus / Logic in computer science / Coq / Curry–Howard correspondence / Natural deduction / Dependent type / Programming language theory / Type theory / Mathematics](https://www.pdfsearch.io/img/a03c14a80d160e1baa06b09567809979.jpg)
| Document Date: 2013-11-04 20:56:12 Open Document File Size: 2,91 MBShare Result on Facebook
Person Curry-Howard Correspondance -calculus / Curry-Howard Correspondance Natural / I ACM / / Position The Coq Proof Assistant / Coq The Proof General / proof assistant / Coq Proof Assistant / / Technology Functional programming / / URL http /
SocialTag |