hapo89

R. Harper, R. Pollack. Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions. In Proc. Int'l J't Conf. on Theory and Practice of Software Development (Vol. 2), Lecture Notes in Computer Science, Vo.l. 352, Pages 241-256, Barcelona, Spain, March 1989.

Keyword

[ Typetheory ]

Contact

R. Harper
R. Pollack

BibTex Reference

@InProceedings{hapo89,
   Author = {Harper, R. and Pollack, R.},
   Title = {Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions},
   BookTitle = {Proc. Int'l J't Conf. on Theory and Practice of Software Development (Vol. 2)},
   Pages = {241--256},
   Publisher = {Springer-Verlag},
   Address = {Barcelona, Spain},
   Month = {March},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)