Abstract Computing Machines
A Lambda Calculus Perspective
Autor:
Werner Kluge
Disponibilitate:
În depozitul extern
Expediem în 10-18 zile
553.07
lei
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as oppo...
