Extensional equivalence and singleton types (0)

by C A Stone, R Harper
Venue:ACM Transactions on Computational Logic