Parametricity as Isomorphism (1993)

Cached

Download Links

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

Document Versions

Parametricity as Isomorphism –Edmund Robinson, Edmund Robinson — 1993 — Theoretical Computer Science