Weak βη-Normalization and Normalization by Evaluation for System F

DOI10.1007/978-3-540-89439-1_35zbMath1182.03100OpenAlexW2152642030MaRDI QIDQ5505577

Andreas Abel

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.5430

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Related Items

Internal models of system F for decompilation, Typed Applicative Structures and Normalization by Evaluation for System F ω