Combining generic judgments with recursive definitions

Cached

Download Links

by Andrew Gacek , Dale Miller , Gopalan Nadathur
Venue:in "23th Symp. on Logic in Computer Science", F. PFENNING (editor), IEEE Computer Society Press, 2008, p. 33–44, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08a.pdf US
Citations:16 - 4 self

Active Bibliography

8 A two-level logic approach to reasoning about computations – Andrew Gacek , Dale Miller, Gopalan Nadathur
5 Nominal Abstraction – Andrew Gacek, Dale Miller , Gopalan Nadathur - 2009
Reasoning about Computations Using Two-Levels of Logic – Dale Miller
The Australian National University – Alwen Tiu, Dale Miller
5 Reasoning in Abella about Structural Operational Semantics Specifications – Andrew Gacek, Dale Miller, Gopalan Nadathur
8 Representing and reasoning with operational semantics – Dale Miller - 2006
15 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
8 Proof search specifications of bisimulation and modal logics for the π-calculus – Alwen Tiu, Dale Miller
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000