Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Douglas J. Howe

29 results


Math Book HOL Translation (partial)
by Douglas J. Howe
February 13, 2004

Seminar Importing HOL Theorems into Nuprl
by Douglas J. Howe
July 30, 1998

Publication A type annotation scheme for Nuprl | cite »
by Douglas J. Howe
October 01, 1998

Publication Importing Mathematics from HOL into Nuprl | cite »
by Douglas J. Howe
1996

Publication Semantic Foundations for Embedding HOL in Nuprl | cite »
by Douglas J. Howe
1996

Publication An Operational Approach to Combining Classical Set Theory and Functional Programming Languages | cite »
by Douglas J. Howe, Scott D. Stoller
1994

Publication Reasoning About Functional Programs in Nuprl | cite »
by Douglas J. Howe
1993

Seminar Constructive Algorithms in Nuprl
by Douglas J. Howe
December 01, 1992

Seminar Set Models
by Douglas J. Howe
November 03, 1992

Seminar Structuring Proofs
by Douglas J. Howe, Paul B. Jackson
October 27, 1992

Seminar Fefprl
by Douglas J. Howe, Douglas J. Howe
October 20, 1992

Seminar Fefprl
by Douglas J. Howe, Douglas J. Howe
October 20, 1992

Seminar Fefprl
by Douglas J. Howe, Douglas J. Howe
October 05, 1992

Seminar Fefprl
by Douglas J. Howe, Douglas J. Howe
October 05, 1992

Publication A Simple Type Theory for Reasoning About Functional Programs | cite »
by Douglas J. Howe
1992

Publication On computational open-endedness in Martin-Lof's type theory
by Douglas J. Howe
July 15, 1991

Publication Some Normalization Properties of Martin-Lof's Type Theory and Applications | cite »
by David A. Basin, Douglas J. Howe
1991

Publication Implementing Metamathematics as an Approach to Automatic Theorem Proving | cite »
by Robert L. Constable, Douglas J. Howe
1990

Publication Nuprl as a General Logic | cite »
by Robert L. Constable, Douglas J. Howe
1990

Publication Reflecting the Open-Ended Computation System of Constructive Type Theory | cite »
by Robert L. Constable, Stuart F. Allen, Douglas J. Howe
1990

Publication The Semantics of Reflected Proof | cite »
by Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William Aitken
1990

Publication Equality in Lazy Computation Systems | cite »
by Douglas J. Howe
1989

Publication Automating Reasoning in an Implementation of Constructive Type Theory | cite »
by Douglas J. Howe
1988

Publication Computational Metatheory in Nuprl | cite »
by Douglas J. Howe
1988

Publication Implementing Number Theory: An Experiment with Nuprl | cite »
by Douglas J. Howe
1987

Publication The Computational Behaviour of Girard's Paradox | cite »
by Douglas J. Howe
1987

Publication Implementing Mathematics with the Nuprl Development System | cite »
by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith
1986

Seminar Theory of Reals
by Douglas J. Howe
1984-1985

Seminar Thesis
by Douglas J. Howe
1984-1985