![Mathematical logic / Deduction / Proof theory / Dependently typed programming / Type theory / Natural deduction / Entailment / Symbol / Calculus of constructions / Logic / Theoretical computer science / Lambda calculus Mathematical logic / Deduction / Proof theory / Dependently typed programming / Type theory / Natural deduction / Entailment / Symbol / Calculus of constructions / Logic / Theoretical computer science / Lambda calculus](https://www.pdfsearch.io/img/f50135eb61f75635c25cbeeaaafb50da.jpg)
| Document Date: 2011-01-28 11:35:53 Open Document File Size: 193,23 KBShare Result on Facebook
City Palaiseau Cedex / / Company R. 3 The Pure Type Systems / Embedding Pure Type Systems / Pure Type Systems / / Country France / / / IndustryTerm type systems / / Organization INRIA / Ecole polytechnique / / Person Gilles Dowek / Denis Cousineau / / Product Hyun Won US2 Portable Audio Device / / ProgrammingLanguage R / / ProvinceOrState Rhode Island / / URL http /
SocialTag |