Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: David A. Basin
12 results
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
May 04, 1993
Metalogical Frameworks
| cite »
by David A. Basin, Robert L. Constable
1991
Some Normalization Properties of Martin-Lof's Type Theory and Applications
| cite »
by David A. Basin, Douglas J. Howe
1991
Extracting Circuits from Constructive Proofs
| cite »
by David A. Basin
1991
Formally Verified Synthesis of Combinational Circuits
| cite »
by David A. Basin, Geoffrey Brown, Miriam Leeser
1991
Building Problem Solving Environments in Constructive Type Theory
| cite »
by David A. Basin
1990
Building Theories in Nuprl
| cite »
by David A. Basin
1989
Verification of Combinational Logic in Nuprl
| cite »
by David A. Basin, Peter Del Vecchio
1989
An Environment for Automated Reasoning About Partial Functions
| cite »
by David A. Basin
1988
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
April 08, 1988
TBA
by David A. Basin, David McAllister, Wilfred Z. Chen
October 13, 1987
The Expressiveness of lambda Y
by David A. Basin
April 09, 1987