Monotone inductive and coinductive constructors of rank 2 (2001)

by R Matthes
Venue:Computer Science Logic (Proceedings of the Fifteenth CSL Conference), number 2142 in LNCS