Modern Perspectives in Type-Theoretical Semantics
-
innbundet
,
Engelsk, 2017