Inductively defined sets in Martin-Lof's set theory (1987)

by Peter Dybjer
Venue:Workshop on General Logic