Documents Related by Co-Citation

43 Introduction to Isabelle – Lawrence C. Paulson - 1998
54 The Isabelle Reference Manual – Lawrence C. Paulson - 2008
164 Isabelle: A Generic Theorem Prover, volume 828 – L C Paulson
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
44 A fixedpoint approach to implementing (co)inductive definitions – L C Paulson - 1994
14 The problem of weak bisimulation up-to – Davide Sangiorgi, Robin Milner - 1992
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
3219 Communication and Concurrency – R Milner - 1990
184 Isabelle: The next 700 theorem provers – L C Paulson - 1990
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
41 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
18 The Isabelle Reference – L C PAULSON - 1998
11 Inherited limits – Torben Æ. Mogensen - 1999
14 Self-applicable Partial Evaluation for Pure Lambda Calculus – Torben Æ Mogensen, Torben Ae. Mogensen - 1992
6 Self-applicable online partial evaluation of the pure lambda calculus – T Æ MOGENSEN - 1995
4 Partial Evaluation and Correctness – Morten Welinder - 1997
93 Computability and Complexity from a Programming Perspective. Foundations of Computing – Neil D Jones - 1997
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
7 Using Axiomatic Type Classes in Isabelle, a tutorial 1995, available at http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/doc/axclass.pdf – Markus Wenzel