A Simple Model for Quotient Types (1995)

Cached

Download Links

by Martin Hofmann
Venue:Proceedings of TLCA'95, volume 902 of Lecture Notes in Computer Science
Citations:17 - 0 self