Inductively Defined Types

Thierry Coquand and Christine Paulin-Mohring, International Conference on Computer Logic: 50-66 — 1988

Links

DOI
Springer

Abstract

Inductive types