#
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