Handbook of Proof Theory, chapter X: Types (1998)

by Robert L Constable
Venue:in Logic, Mathematics and Programming, pages 650– 757. Elsevier Science B.V