Equality In Lazy Computation Systems (1998)

Cached

Download Links

by Douglas J. Howe
Citations:95 - 6 self

Active Bibliography

12 Reasoning About Functional Programs in Nuprl – Douglas J. Howe - 1993
7 Partial computations in constructive type theory – Scott F. Smith - 1991
2 Nuprl and its Use in Circuit Design – Paul Jackson - 1992
3 Some Normalization Properties of Martin-Lof's Type Theory, and Applications – David Basin, Douglas J. Howe - 1991
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
1 Lambda Calculus – C. -h. L. Ong, C C. -h. L. Ong
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
Formalization of Divisibility Theory in Nuprl – Paul B. Jackson
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
24 The Boyer-Moore Prover and Nuprl: An Experimental Comparison – David Basin , Matt Kaufmann - 1991
29 Semantic Foundations for Embedding HOL in Nuprl – Douglas J. Howe - 1996
4 An operational approach to combining classical set theory and functional programming languages – Douglas J. Howe, Scott D. Stoller - 1994
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
5 Hybrid Partial-Total Type Theory – Scott Smith - 1995
44 Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra – Paul Bernard Jackson - 1995
88 The Semantics of Reflected Proof – Stuart Allen , Robert L. Constable, Douglas J. Howe, William E. Aitken - 1990
6 Importing Isabelle Formal Mathematics into NuPRL – Pavel Naumov - 1999
4 Program development through proof transformation – Frank Pfenning - 1990