Types in logic, mathematics and programming (1998)

by R L Constable
Venue:Handbook of Proof Theory