Travelled to:1 × The Netherlands
2 × USA
Collaborated with:∅ J.R.Russell
Talks about:proof (2) construct (1) translat (1) classic (1) analysi (1) semant (1) higman (1) girard (1) comput (1) lemma (1)
Person: Chetan R. Murthy
DBLP: Murthy:Chetan_R=
Contributed to:
199219911990Wrote 3 papers:
- LICS-1992-Murthy #analysis
- A Computational Analysis of Girard’s Translation and LC (CRM), pp. 90–101.
- LICS-1991-Murthy #evaluation #proving #semantics
- An Evaluation Semantics for Classical Proofs (CRM), pp. 96–107.
- LICS-1990-MurthyR #proving
- A Constructive Proof of Higman’s Lemma (CRM, JRR), pp. 257–267.