Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Chetan Murthy
9 results
Chet Says Good-Bye: Theory; Implementation (System); Methodology; Science
by Chetan Murthy
February 14, 1995
The Engineering Aspects of Proof-Environment Design
by Chetan Murthy
January 24, 1995
TLA
by Scott D. Stoller, Chetan Murthy
November 01, 1994
A (Possibly) New Scheme for Libraries/Proof-Contexts
by Chetan Murthy
September 03, 1993
A Computational Analysis of Girard's Translation and LC
| cite »
by Chetan Murthy
1992
An Evaluation Semantics for Classical Proofs
| cite »
by Chetan Murthy
1991
Finding Computational Content from Classical Proofs
| cite »
by Robert L. Constable, Chetan Murthy
1991
A Constructive Proof of Higman's Lemma
| cite »
by Chetan Murthy, James R. Russell
1990
Extracting Constructive Content from Classical Proofs
| cite »
by Chetan Murthy
1990