Isomorphic Data Encodings and their Generalization to Hylomorphisms on Hereditarily Finite Data Types

Cached

Download Links

by Paul Tarau