Back to Results
First PageMeta Content
Mathematical logic / Deduction / Proof theory / Dependently typed programming / Type theory / Natural deduction / Entailment / Symbol / Calculus of constructions / Logic / Theoretical computer science / Lambda calculus


Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA
Add to Reading List

Document Date: 2011-01-28 11:35:53

Open Document

File Size: 193,23 KB

Share 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