Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ralph Matthes

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

Computer Science

Theoretical Computer Science

English

Recursion on Nested Datatypes in Dependent Type Theory

English