The lambda calculus, its syntax and semantics /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: London : College Publications, [2012].
Edice: Studies in logic ; 40
Předmět:
lambda kalkul
matematika
programovací jazyky
učebnice
Externí odkaz: Obsah knihy

Podobné jednotky