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
Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique
Add to Reading List
Document Date: 2014-12-18 18:53:18
Open Document
File Size: 719,23 KB
Share Result on Facebook
City
Paris /
/
Person
Lam App /
Ali Assaf Deducteam /
/
SocialTag
Logic
Logic in computer science
Dependently typed programming
Lambda calculus
Proof theory
Curry–Howard correspondence
First-order logic
Logical framework
System F
Mathematical logic