Monotone Inductive and Coinductive Constructors of Rank 2 (2001)

by Ralph Matthes
Venue:Proceedings of CSL 2001
Citations:10 - 4 self

Document Versions

Monotone Inductive and Coinductive Constructors of Rank 2 –Ralph Matthes — 2001 — Proceedings of CSL 2001
Monotone Inductive and Coinductive Constructors of Rank 2 –Ralph Matthes — 2001 — Proceedings of CSL 2001