Type-theoretic logic with an operational account of intensionality

2015

Chris Fox, Shalom Lappin

Synthese 192 (3)