Map fusion for nested datatypes in intensional type theory

By Ralph Matthes. 2011

5 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

Citations in the corpus

• Heterogeneous substitution systems revisited (2016, neutral): “For generalized Mendler iteration, there is also a means of verification in usual intensional Coq , using category theory only as a motivation and not as the mathematical framework [22].”