A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions

✍ Scribed by Catarina Coquand

• Book ID: 110392024
• Publisher: Springer
• Year: 2002
• Tongue: English
• Weight: 422 KB
• Volume: 15
• Category: Article
• ISSN: 1388-3690
• DOI: 10.1023/a:1019964114625