Light affine lambda calculus and polynomial time strong normalization

✍ Scribed by Kazushige Terui

• Book ID: 105842258
• Publisher: Springer
• Year: 2007
• Tongue: English
• Weight: 786 KB
• Volume: 46
• Category: Article
• ISSN: 0933-5846
• DOI: 10.1007/s00153-007-0042-6