#
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