//
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: James L. Caldwell

11 results


Math Book Classical Propositional Logic
by James L. Caldwell
July 28, 2004

Publication Logical Aspects of Digital Mathematics Libraries (extended abstract) | cite »
by Stuart F. Allen, James L. Caldwell, Robert L. Constable
2001

Publication Search Algorithms in Type Theory | cite »
by James L. Caldwell, Ian Gent, Judith Underwood
2000

Publication Intuitionistic Tableau Extracted | cite »
by James L. Caldwell
1999

Publication Classical Propositional Decidability via Nuprl Proof Extraction | cite »
by James L. Caldwell
1998

Publication Decidability Extracted: Synthesizing | cite »
by James L. Caldwell
1998

Seminar Extracting Readable and Efficient Programs from Nuprl Proofs
by James L. Caldwell
November 18, 1997

Publication Extracting Propositional Decidability: A Proof of Propositional Decidability in Constructive Type Theory and its Extracted Program | cite »
by James L. Caldwell
1997

Publication Moving Proofs-as-Programs into Practice | cite »
by James L. Caldwell
1997

Publication Classical Tools for Constructive Proof Search | cite »
by James L. Caldwell, Judith Underwood
1996

Seminar Formal Methods Program at NASA Langley Research Center
by James L. Caldwell
February 07, 1995