Typed Lambda Calculi and ApplicationsLuke Ong
Typed Lambda Calculi and Applications
Luke Ong · 2011
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2011
- שפה
- English
- סדרה
- Lecture Notes in Computer Science -- 6690
- הוצאה
- Springer-Verlag GmbH Berlin Heidelberg
- מהדורות
- 2
- ISBN
- 9783642216909
מקור הנתונים: Wikidata
עוד של Luke Ong
Logic, Language, Information and ComputationLuke Ong
Logic, Language, Information and Computation
Luke Ong · 2012
Foundations of Software Science and Computational StructuresLuke Ong
Foundations of Software Science and Computational Structures
Luke Ong · 2010
Computer Science LogicLuke Ong
Computer Science Logic
Luke Ong · 2005