Abstract Computing Machines
A Lambda Calculus Perspective
Autor:
Werner Kluge
Dostępność:
Dostępna u dostawcy
Wysyłamy za 10-18 dni
383.19
zł
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as oppo...
