Metodo
International Studies in Phenomenology and Philosophy
Journal | Authors
in English
Type-theoretic logic with an operational account of intensionality
2015
Chris FoxShalom Lappin
Synthese 192/3
