Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra (1995)

Cached

Download Links

by Paul Bernard Jackson
Citations:46 - 4 self

Documents Related by Co-Citation

269 Constructive mathematics and computer programming – P Martin-Löf - 1982
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
413 Vulnerabilities Analysis – Matt Bishop - 1999
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
1559 Distributed Algorithms – N A Lynch - 1996
441 The formulas-as-types notion of construction – W A Howard - 1980
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
344 Intuitionistic Type Theory – Per Martin-Löf - 1984