Typed -calculi, Handbook of logic in computer science, Abramsky and al eds, OUP (1992)

by H Barendregt