Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA - Lambda calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	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: 2016-01-18 11:51:05 Open Document File Size: 162,74 KB Share Result on Facebook

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