A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Algebras and coalgebras in the light affine Lambda calculus
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