Paula Severi, Erik Poll. Pure Type Systems with Definitions. In Anil Nerode, Yuri Matiyasevich, editors, Logical Foundations of Computer Science, Third International Symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Volume 813 of Lecture Notes in Computer Science, pages 316-328, Springer, 1994.
No references recorded for this publication.
No citations of this publication recorded.