Linear realizability and full completeness for typed lambda-calculi

✍ Scribed by Samson Abramsky; Marina Lenisa

• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 579 KB
• Volume: 134
• Category: Article
• ISSN: 0168-0072
• DOI: 10.1016/j.apal.2004.08.003