A variation of Reynolds-Hurkens Paradox
Thierry Coquand
TL;DR
This paper introduces a new variation of Hurkens paradox, extending Reynolds' result that no set-theoretic model can fully support polymorphism, highlighting limitations in foundational type theories.
Contribution
It presents a novel variation of Hurkens paradox, providing insights into the limitations of set-theoretic models for polymorphism.
Findings
Demonstrates a new form of Hurkens paradox
Shows limitations of set-theoretic models for polymorphism
Extends Reynolds' original result
Abstract
We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGlobal Energy and Sustainability Research · Wind and Air Flow Studies · Hydrology and Sediment Transport Processes