Types in Logic, Mathematics and Programming (1998)

by R Constable
Venue:book of Proof Theory, Elsevier