//
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: David A. Basin

12 results


Seminar TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
May 04, 1993

Publication Metalogical Frameworks | cite »
by David A. Basin, Robert L. Constable
1991

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

Publication Extracting Circuits from Constructive Proofs | cite »
by David A. Basin
1991

Publication Formally Verified Synthesis of Combinational Circuits | cite »
by David A. Basin, Geoffrey Brown, Miriam Leeser
1991

Publication Building Problem Solving Environments in Constructive Type Theory | cite »
by David A. Basin
1990

Publication Building Theories in Nuprl | cite »
by David A. Basin
1989

Publication Verification of Combinational Logic in Nuprl | cite »
by David A. Basin, Peter Del Vecchio
1989

Publication An Environment for Automated Reasoning About Partial Functions | cite »
by David A. Basin
1988

Seminar TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
April 08, 1988

Seminar TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
October 13, 1987

Seminar The Expressiveness of lambda Y
by David A. Basin
April 09, 1987