Knowledge Base of
Publications, Seminars, & Math Library

Filter for: Douglas J. Howe

29 results

---

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

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

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

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

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

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

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

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

Set Models
by Douglas J. Howe
November 03, 1992

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Theory of Reals
by Douglas J. Howe
1984-1985

Thesis
by Douglas J. Howe
1984-1985