Image de couverture de livre

Dependent Types Simplified

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bice, Tristan
Format:	Preprint
Publié:	2025
Sujets:	Logic 03B38, 03B40, 03C55, 03E30, 68V20
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

Remarks on Primitive Regulation
par: Rosko, Milan
Publié: (2026)

A minimalist two-level foundation for constructive mathematics
par: Maietti, Maria Emilia
Publié: (2008)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
par: Leme, Renato, et autres
Publié: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
par: Lyon, Tim S.
Publié: (2025)

Biased elementary doctrines and quotient completions
par: Cioffo, Cipriano Junior
Publié: (2023)

A complicated family of trees with omega + 1 levels
par: Shelah, Saharon
Publié: (2014)

A vector logic for extensional formal semantics
par: Quigley, Daniel
Publié: (2024)

A note on Łoś's Theorem without the Axiom of Choice
par: Usuba, Toshimichi
Publié: (2023)

NF is Consistent
par: Holmes, M. Randall, et autres
Publié: (2015)

Herbrandized modified realizability
par: Ferreira, Gilda, et autres
Publié: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Failure of Esakia's theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
par: Miwa, Tadayoshi, et autres
Publié: (2026)

Librationism & its classical and extraclassical set theories
par: Bjørdal, Frode A.
Publié: (2022)

Force a set model of $Z_3$ + Harrington's Principle
par: Cheng, Yong
Publié: (2014)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
par: Hamkins, Joel David, et autres
Publié: (2022)

The Galvin-Prikry Theorem in the Weihrauch lattice
par: Marcone, Alberto, et autres
Publié: (2024)

Varsovian models II
par: Sargsyan, Grigor, et autres
Publié: (2021)

Generically extendible cardinals
par: Usuba, Toshimichi
Publié: (2022)

On a cofinal Reinhardt embedding without Powerset
par: Jeon, Hanul
Publié: (2024)

More on expressibility of satisfiability in submodels and extensions
par: Poliakov, Nikolai L., et autres
Publié: (2026)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
par: Spadetto, Matteo
Publié: (2025)

Local mantles of $L[x]$
par: Schlutzenberg, Farmer
Publié: (2021)

Aronszajn trees and maximality
par: Ben-Neria, Omer, et autres
Publié: (2023)

On a Conjecture Regarding the Mouse Order for Weasels
par: Kruschewski, Jan, et autres
Publié: (2022)

Model theory of class-sized logics
par: Osinski, Jonathan, et autres
Publié: (2026)

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
par: Kostana, Ziemowit
Publié: (2026)

Algebraizable Weak Logics
par: Nakov, Georgi, et autres
Publié: (2022)

Axiomatization and Forcing in Set Theory with Urelements
par: Yao, Bokai
Publié: (2022)

The Horizontal Direction
par: van der Vlugt, Tristan
Publié: (2025)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
par: Gilson, Frank
Publié: (2025)

Broad Infinity and Generation Principles
par: Levy, Paul Blain
Publié: (2021)

Random expansions of trees with bounded height
par: Koponen, Vera, et autres
Publié: (2024)

The tree pigeonhole principle in the Weihrauch degrees
par: Dzhafarov, Damir, et autres
Publié: (2023)

Taking model-complete cores
par: Bodirsky, Manuel, et autres
Publié: (2025)

Iteration theorems for subversions of forcing classes
par: Fuchs, Gunter, et autres
Publié: (2020)

Categoricity and amalgamation for AEC and $ κ$ measurable
par: Kolman, Oren, et autres
Publié: (1996)

No universal group in a cardinal
par: Shelah, Saharon
Publié: (2013)