A Computational Analysis of Girard's Translation and LC

A Computational Analysis of Girard's Translation and LC Chetan R. Murthy 90-101 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#Murthy92