1 paper
Basil Fürer, Andreas Lochbihler, Joshua Schneider +1
The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatyp…