Inductive types and exact completion. (2005)

by B van den Berg
Venue:Ann. Pure Appl. Logic,