![Dependently typed programming / Logic in computer science / Type theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Lambda calculus / Intuitionistic type theory / Constructible universe / Mathematics / Mathematical logic / Theoretical computer science Dependently typed programming / Logic in computer science / Type theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Lambda calculus / Intuitionistic type theory / Constructible universe / Mathematics / Mathematical logic / Theoretical computer science](https://www.pdfsearch.io/img/90e2f0e9f2182218e7958262587358ee.jpg)
| Document Date: 2015-04-15 05:54:45 Open Document File Size: 368,25 KBShare Result on Facebook
Company Dagstuhl Publishing / / Country Germany / / Facility University of Birmingham / / IndustryTerm finite products / bounded search / / Organization School of Computer Science / University of Birmingham / / Person Thierry Coquand / Maria Emilia Maietti / Chuangjie Xu / Martín Hötzel Escardó / Martín Hötzel / Per Martin-Löf / Thorsten Altenkirch / / Position Editor / / ProgrammingLanguage J / / ProvinceOrState Connecticut / / Technology Digital Object Identifier / /
SocialTag |