Type-theoretic logic with an operational account of intensionality
Vol. 192/3
Chris Fox, Shalom Lappin
Band
Titel
Autor/in