Skip to content

Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.

Niccol Veltri

VenueBFSCD
Year2021
ProceedingsFSCD

Browse the full FSCD paper archive.