Another semantics for typed lambda calculusStanisław Ambroszkiewicz

Another semantics for typed lambda calculus

Name: Another semantics for typed lambda calculus
Author: Stanisław Ambroszkiewicz

Stanisław Ambroszkiewicz

6 bibliotek2 wydania · 1990

Książka Biblioteki (6)

O książce

Autor: Stanisław Ambroszkiewicz
Lata wydań: 1990
Liczba wydań: 2
Języki: angielski
Rodzaj: książka

Dostępna w 6 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Główna w Toruniu (Toruń), Biblioteka na Koszykowej (Warszawa), Biblioteka Uniwersytecka w Warszawie (Warszawa), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa)