![Dependently typed programming / Logic in computer science / Type theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Symbol / Lambda calculus / Intuitionistic type theory / Theoretical computer science / Mathematical logic / Mathematics Dependently typed programming / Logic in computer science / Type theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Symbol / Lambda calculus / Intuitionistic type theory / Theoretical computer science / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/cbbf2198501cb01116f78d653bff6ba5.jpg)
| Document Date: 2014-08-29 19:03:11 Open Document File Size: 240,60 KBShare Result on Facebook
Company Y combinator / / / Facility Gothenburg University / / IndustryTerm possible solutions / / Organization Engineering / Chalmers and Gothenburg University / / Person Agda / Martin-Löf Type Theory / Andrea Vezzosi / Ty / Abel / / Position first author / proof assistant / guard / / ProgrammingLanguage Haskell / / Technology functional programming / /
SocialTag |