Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Document Date: 2015-02-12 07:53:44
Open Document
File Size: 501,35 KB
Share Result on Facebook
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