howe88

D. Howe. Computational Metatheory in Nuprl. In Proc. 9th Int'l Conf. on Automated Deduction, LNCS 310, Pages 238-257, Argonne, Illinois, May 1988.

Keyword

[ Typetheory ]

Contact

D. Howe

BibTex Reference

@InProceedings{howe88,
   Author = {Howe, D.},
   Title = {Computational Metatheory in Nuprl},
   BookTitle = {Proc. 9th Int'l Conf. on Automated Deduction},
   Pages = {238--257},
   Publisher = {Springer-Verlag},
   Address = {Argonne, Illinois},
   Month = {May},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)