Elaborating Inductive Definitions

Pierre-Evariste Dagand, Conor McBride. Elaborating Inductive Definitions. 2012.

Possibly Related Publications

The following publications are possibly variants of this publication: