A Theory of Inductive De with -Equivalence: Semantics, Implementation, Programming Language (2000)

by M J Gabbay