6 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
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…