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

Tom 9 / 1982

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

Autorzy

  • Adam Obtułowicz
  • Antoni Wiweger

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek