Abstract Computing Machines: A Lambda Calculus PerspectiveSpringer Science & Business Media, 2005 M02 18 - 384 páginas The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. |
Otras ediciones - Ver todas
Abstract Computing Machines: A Lambda Calculus Perspective Werner Kluge Sin vista previa disponible - 2009 |