Active Bibliography

41 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
6 Tool Support for Logics of Programs – Lawrence C. Paulson - 1996
10 Treating partiality in a logic of total functions – Olaf Müller, Konrad Slind - 1997
22 Isabelle's Object-Logics – Lawrence C. Paulson - 1997
2 Final Coalgebras as Greatest Fixed Points in ZF Set Theory – Lawrence C. Paulson, L. C. Paulson - 1999
43 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
4 Isabelle’s isabelle’s logics: FOL and ZF – Lawrence C. Paulson, Tobias Nipkow, Markus Wenzel - 2003
α Isabelle’s Logics: FOL and ZF – Lawrence C. Paulson, Tobias Nipkow, Markus Wenzel
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
26 Generic Automatic Proof Tools – Lawrence C. Paulson - 1997
16 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
16 Mechanizing set theory: Cardinal arithmetic and the axiom of choice – Lawrence C. Paulson, Krzysztof Grabczewski - 1996
23 Induction and co-induction in sequent calculus – Alwen Tiu, Alberto Momigliano - 2003
45 Should Your Specification Language Be Typed? – Leslie Lamport , Lawrence C. Paulson - 1999
11 Merging HOL with Set Theory -- preliminary experiments – Mike Gordon - 1994
8 Coalgebraic Theories of Sequences in PVS – Ulrich Hensel, Bart Jacobs - 1998
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
2 Non-primitive Recursive Function Definitions – Sten Agerholm, Sten Agerholm - 1995
19 Higher Order Logic – Daniel Leivant - 1994