murthy92b

Ch. Murthy. A Computational Analysis of Girard's Translation and LC. In Proc. 7th Annual IEEE Symp. on Logic in Computer Science (LICS), Santa Cruz, California, Pages 90-101, June 1992.

Keyword

[ Typetheory ]

Contact

Ch. Murthy

BibTex Reference

@InProceedings{murthy92b,
   Author = {Murthy, Ch.},
   Title = {A Computational Analysis of {G}irard's Translation and {LC}},
   BookTitle = {Proc. 7th Annual IEEE Symp. on Logic in Computer Science (LICS), Santa Cruz, California},
   Pages = {90--101},
   Publisher = {IEEE Computer Society Press},
   Month = {June},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)