Menu

About us
Contact

Publications

Collections
Submit a new reference

Login

Calendar

Catalogue > People > Profile

Profile Publications

Order by

Filter

All Monographs Editions Articles

Chris Fox

1 Publications

Type-theoretic logic with an operational account of intensionality

2015

Chris Fox, Shalom Lappin

Synthese 192 (3)

1 Publications

This website is powered by sdvig press, a not-for-profit association based in Geneva, Switzerland

Except for all images and where otherwise noted, contents are available under the Creative Commons Attribution License 4.0

Hendrik, the underlying database of this website, is available under the Open Database License 1.0

Terms & Conditions
About
Contact

We log anonymised, publically available usage statistics with Matomo

© 2015-2025 sdvig press