Active Bibliography

14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
35 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
18 Higher Order Logic – Daniel Leivant - 1994
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
23 Nominal logic programming – James Cheney, Christian Urban - 2006
2 Refinement Types for Logical Frameworks – William Lovas - 2010
73 A concurrent logical framework I: Judgments and properties – Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker - 2003
32 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
2 A formal framework for specifying sequent calculus proof systems – Dale Miller , Elaine Pimentel - 2012
Deduction as an Engineering Science – Dieter Hutter
2 Composition by Colimit and Formal Software Development – Douglas R. Smith - 2006
2 Disproving False Conjectures – Serge Autexier, Carsten Schürmann - 2003
Discovering Syntactic Symmetries in Formal Deductions – n.n.
Structured Formal Development with Quotient Types in Isabelle/HOL – Maksym Bortin, Christoph Lüth, Deutsches Forschungszentrum, Künstliche Intelligenz
α The Isabelle/Isar Reference Manual – Makarius Wenzel, Clemens Ballarin, Stefan Berghofer, Jasmin Blanchette, Timothy Bourke, Lukas Bulwahn, Amine Chaieb, Lucas Dixon, Florian Haftmann, Brian Huffman, Gerwin Klein, Er Krauss, Tobias Nipkow, Lars Noschinski, David Von Oheimb Larry Paulson, Christian Sternagel
13 Constructive type classes in Isabelle – Florian Haftmann, Makarius Wenzel - 2007
A Meta-theory for Structured Presentations in the COC – Sherri Shulman - 1997
37 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
11 Proof-Theoretic Foundation of Compilation in Logic Programming Languages – Iliano Cervesato