Document Versions
| Pure Type Systems with Definitions –Paula Severi , Erik Poll — 1993 |
| Pure Type Systems with Definitions –Paula Severi, Erik Poll — 1993 — In Logical Foundations of Computer Science '94, number 813 in LNCS |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University