First Page | Document Content | |
---|---|---|
Date: 2016-01-18 11:51:05 | Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIAAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 162,74 KBShare Document on Facebook |