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

View PDF

Download Links

by Paul Tarau