Unrestricted quantification and the structure of type theory

Salvatore Florio, Nicholas Jones

Philosophy

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

202 Downloads (Pure)

1 results

Filter

Finished
The Many and the One: A Philosophical Study
Florio, S.
Leverhulme Trust
1/09/17 → 31/08/18
Project: Research