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.