1122-1151 (print)
1572-8390 (online)
Springer
An overview of type theories
Vol. 25/1
Nino Guallart
Volume
Title
Author