Categorical, functorial, and algebraic aspects of the. type-free lambda calculus Banach Center Publications 9 (1982)

by A Obtulowicz, A Wiweger