Parametricity as Isomorphism (1993)

View PDF

Download Links

by Edmund Robinson , Edmund Robinson
Venue:Theoretical Computer Science
Citations:1 - 1 self