![](/img/cover-not-exists.png)
Isomorphisms of generic recursive polynomial types
Fiore, MarceloVolume:
39
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/982962.964008
Date:
January, 2004
File:
PDF, 167 KB
english, 2004