An algebraic view on recursive types (1999)

by M Marz
Venue:Applied Categorical Structures