Monotone Inductive and Coinductive Constructors of Rank 2 (2001)

by Ralph Matthes
Venue:Proceedings of CSL 2001