ملف الباحث
Martı́n Hötzel Escardó
ورقتان في مجموعة PaperMetrix
المنشورات
أوراق هذا المؤلف
-
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
2023 · arXiv (Cornell University)
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
-
Continuous and algebraic domains in univalent foundations
2025 · Journal of Pure and Applied Algebra
We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do …