Abstract Computing Machines
A Lambda Calculus Perspective
Autor:
Werner Kluge
Dostupnost:
Skladem u dodavatele
Odesíláme za 10-18 dnů
2 417
Kč
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as oppo...
