Type-theoretic logic with an operational account of intensionality
Vol. 192/3
Chris Fox, Shalom Lappin
Volume
Title
Author