Metatheory of the -calculus (1996)

by S Weber, B Bloom