Categorical, functorial and algebraic aspects of the type-free lambda calculus

Wydawnictwa / Banach Center Publications / Wszystkie tomy

Adam Obtułowicz, Antoni Wiweger Banach Center Publications 9 (1982), 399-422 DOI: 10.4064/-9-1-399-422