![]() | ![]() |
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 |
1 | James R. Russell | [1] |