Algebras and coalgebras in the light affine Lambda calculus

Marco Gaboardi, Romain Péchoux
2015 SIGPLAN notices  
Algebra and coalgebra are widely used to model data types in functional programming languages and proof assistants. Their use permits to better structure the computations and also to enhance the expressivity of a language or of a proof system.
doi:10.1145/2858949.2784759 fatcat:ezlynnzdxrepfpxnj3qtddwj2q