A Computational Analysis of Girard's Translation and LC

Chetan R. Murthy

Browse the full LICS paper archive.