Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Artikeln (2010-2019)
Type-theoretic logic with an operational account of intensionality
2015
Chris FoxShalom Lappin
Synthese 192/3
