A modern perspective on type theory

שנה

2004

שפה

English

הוצאה

Springer

מהדורות

1

עמודים

371

ISBN

9781402023347

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