Type-theoretic logic with an operational account of intensionality

Chris Fox, Shalom Lappin

pp. 563-584


This document is unfortunately not available for download at the moment.

Not implemented yet !