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: Chetan Murthy

9 results

Seminar Chet Says Good-Bye: Theory; Implementation (System); Methodology; Science
by Chetan Murthy
February 14, 1995

Seminar The Engineering Aspects of Proof-Environment Design
by Chetan Murthy
January 24, 1995

Seminar TLA
by Scott D. Stoller, Chetan Murthy
November 01, 1994

Seminar A (Possibly) New Scheme for Libraries/Proof-Contexts
by Chetan Murthy
September 03, 1993

Publication A Computational Analysis of Girard's Translation and LC | cite »
by Chetan Murthy

Publication An Evaluation Semantics for Classical Proofs | cite »
by Chetan Murthy

Publication Finding Computational Content from Classical Proofs | cite »
by Robert L. Constable, Chetan Murthy

Publication A Constructive Proof of Higman's Lemma | cite »
by Chetan Murthy, James R. Russell

Publication Extracting Constructive Content from Classical Proofs | cite »
by Chetan Murthy