Types for Proofs and Programs

שנה

2008

הוצאה

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

מהדורות

1

עמודים

202

ISBN

9783540681038

מקור הנתונים: Wikidata