A type-theoretical Curry paradox and its solution.
Saved in:
| Title: | A type-theoretical Curry paradox and its solution. |
|---|---|
| Authors: | Klev, Ansten1 |
| Source: | Philosophical Quarterly; Apr2025, Vol. 75 Issue 2, p763-774, 12p |
| Database: | Humanities Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 00318094 |
|---|---|
| DOI: | 10.1093/pq/pqaf019 |