Skip to content

Monotone Inductive and Coinductive Constructors of Rank 2.

Ralph Matthes

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.