Strong normalization for System F by HOAS on top of FOAS

Cached


by Andrei Popescu , Elsa L. Gunter , Christopher J. Osborn
Citations:1 - 0 self

Active Bibliography

Names and Binding in Type Theory – unknown authors
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
551 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1096 Proof-Carrying Code – George C. Necula - 1997
F.4.1 [MATHEMATICAL LOGIC AND FORMAL LANGUAGES]: Mathematical – James Cheney, Christian Urban, Technische Universität München
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
457 Domain Theory – Samson Abramsky, Achim Jung - 1994