Chetan R. Murthy

	1992
4		Chetan R. Murthy: A Computational Analysis of Girard's Translation and LC LICS 1992: 90-101
	1991
3		Chetan R. Murthy: Classical Proofs as Programs: How, What, and Why. Constructivity in Computer Science 1991: 71-88
2		Chetan R. Murthy: An Evaluation Semantics for Classical Proofs LICS 1991: 96-107
	1990
1		Chetan R. Murthy, James R. Russell: A Constructive Proof of Higman's Lemma LICS 1990: 257-267

Coauthor Index

1

James R. Russell

[1]