Inductive types and exact completion (2005)

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