Monotone (co)inductive types and positive fixed-point types Ralph Matthes RAIRO-Theor. Inf. Appl., 33 4-5 (1999) 309-328 Published online: 15 August 2002 DOI: 10.1051/ita:1999120
