Monotone (Co)Inductive Types and Positive Fixed-Point Types (1998)

by Ralph Matthes