Chetan R. Murthy. A Computational Analysis of Girard s Translation and LC. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 90-101, IEEE Computer Society, 1992.
@inproceedings{Murthy92,
title = {A Computational Analysis of Girard s Translation and LC},
author = {Chetan R. Murthy},
year = {1992},
tags = {translation, analysis},
researchr = {https://researchr.org/publication/Murthy92},
cites = {0},
citedby = {0},
pages = {90-101},
booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA},
publisher = {IEEE Computer Society},
}