Categorical, functorial and algebraic aspects of the type-free lambda calculus
Volume 9 / 1982
Banach Center Publications 9 (1982), 399-422
DOI: 10.4064/-9-1-399-422