Statistics
Publications
5
Citations
1.3K
H-Index
5
Active since
1990
Affiliations
Cornell University(Current)
C. R. Murthy is an author at Cornell University specializing in computer science, logic, and mathematics.
Publications per year
1990–2003
5
5
Extracting constructive content from classical proofs
C. R. Murthy · eCommons (Cornell University) · 1990 · 121 citations · Full text
An evaluation semantics for classical proofs
C. R. Murthy · 2002 · 113 citations
A constructive proof of Higman's lemma
C. R. Murthy, James R. Russell · 2002 · 33 citations
A computational analysis of Girard's translation and LC
C. R. Murthy · 2003 · 33 citations
Computing, Computer Science, Logic +12
1–5 of 5