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

File Size: 719,23 KB

City

Person

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