A type-theoretical Curry paradox and its solution
Year: 2025
Type: article
Source: The Philosophical Quarterly
DOI: 10.1093/pq/pqaf019
Author: Ansten Klev
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: Akademie Věd České Republiky
Award: G2849476320
OpenAlex ID: W4408995489