Extensional equivalence and singleton types

by Christopher A. Stone , Robert Harper
Venue:ACM Transactions on Computational Logic
Citations:35 - 7 self