A Computational Analysis of Girard's Translation and LC
by Chetan Murthy
Proceedings of Seventh IEEE Symposium on Logic in Computer Science, 1992.
Sorry, there are no downloadable files available for this document at this time.
