Expand icon Search icon File icon file Download

Type-theoretic logic with an operational account of intensionality

Fox, Chris and Lappin, Shalom (2015) Type-theoretic logic with an operational account of intensionality. Synthese, 192 (3). pp. 563-584. DOI https://doi.org/10.1007/s11229-013-0390-1



Abstract

Available files

Filename: fox-lappin_ms_synthese14.pdf

Statistics

Altmetrics

Downloads

downloads and page views since this item was published

View detailed statistics