Download PDF - Categorical, functorial and algebraic aspects of the type-free lambda calculusAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

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

Authors 1, 1

Affiliations

  1. Warsaw, Poland
Banach Center Publications
1982/9/1
Export to PBN, Opens in new tab
Pages:
399-422
Main language of publication
English
Published
1982
Exact and natural sciences