Documents Related by Co-Citation

41 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 - 1994
418 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
44 A fixedpoint approach to implementing (co)inductive definitions – Lawrence C Paulson
14 The problem of weak bisimulation up-to – Davide Sangiorgi, Robin Milner - 1992
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
3200 Communication and Concurrency – R Milner - 1989
182 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
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
15 Type Inference Verified: Algorithm W in Isabelle/HOL – Wolfgang Naraschewski, Tobias Nipkow - 1997
93 Computability and Complexity: From a Programming Perspective – N Jones - 1997