Nested Datatypes With Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus With Explicit Flattening

Lecture Notes in Computer Science - Germany

doi 10.1007/978-3-540-70594-9_13