Combining generic judgments with recursive definitions

View PDF

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:21 - 5 self

Active Bibliography

5 Nominal Abstraction – Andrew Gacek, Dale Miller , Gopalan Nadathur - 2009
8 A two-level logic approach to reasoning about computations – Andrew Gacek , Dale Miller, Gopalan Nadathur
Reasoning about Computations Using Two-Levels of Logic – Dale Miller
The Australian National University – Alwen Tiu, Dale Miller
8 Representing and reasoning with operational semantics – Dale Miller - 2006
4 Abella: A system for reasoning about relational specifications – David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Yuting Wang
8 Proof search specifications of bisimulation and modal logics for the π-calculus – Alwen Tiu, Dale Miller
5 Reasoning in Abella about Structural Operational Semantics Specifications – Andrew Gacek, Dale Miller, Gopalan Nadathur
16 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010