17 citations · 64 across the 12 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008★ 7 cited
Induction and Co-induction in Sequent Calculus
Alwen Tiu, Alberto Momigliano
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus…
cs.LO2008★ 13 cited
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
Amy Felty, Alberto Momigliano
Combining higher-order abstract syntax and (co)induction in a logical framework is well known to be problematic. Previous work described the implementation of a tool called Hybrid,…