Abstract Computing Machines: A Lambda Calculus PerspectiveSpringer Science & Business Media, 18/02/2005 - 384 من الصفحات The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. |
طبعات أخرى - عرض جميع المقتطفات
مراجع لهذا الكتاب
Trends in Functional Programming, المجلد 7 <span dir=ltr>Henrik Nilsson</span> لا تتوفر معاينة - 2007 |