%0 Conference Proceedings
%F murthy92b
%A Murthy, Ch.
%T A Computational Analysis of {G}irard's Translation and {LC}
%B Proc. 7th Annual IEEE Symp. on Logic in Computer Science (LICS), Santa Cruz, California
%P 90-101
%I IEEE Computer Society Press
%8 June
%D 1992
%K typetheory