Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Ali Assaf February 12, 2015 Abstract The lambda-Pi calculus can be extended with rewrite rules to embed

First Page		Document Content
Date: 2015-02-12 07:53:44		Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Ali Assaf February 12, 2015 Abstract The lambda-Pi calculus can be extended with rewrite rules to embed Add to Reading List Source URL: who.rocq.inria.fr Download Document from Source Website File Size: 501,35 KB Share Document on Facebook