:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Coquand, Thierry, Höfer, Jonas, Sattler, Christian
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Logic
Accès en ligne:	https://arxiv.org/abs/2605.15126
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The equivariant model structure on cartesian cubical sets
par: Awodey, Steve, et autres
Publié: (2024)

Reduction Free Normalisation for a proof irrelevant type of propositions
par: Coquand, Thierry
Publié: (2021)

A Note About Models of Synthetic Algebraic Geometry
par: Coquand, Thierry, et autres
Publié: (2025)

Two Remarks about Game Semantics of Classical Logic
par: Coquand, Thierry
Publié: (2026)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
par: Coquand, Thierry
Publié: (2026)

Univalence without function extensionality
par: Cavallo, Evan, et autres
Publié: (2026)

The Regular Element Property in Constructive Mathematics
par: Coquand, Thierry
Publié: (2024)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
par: Bezem, Marc, et autres
Publié: (2026)

Controlling unfolding in type theory
par: Gratzer, Daniel, et autres
Publié: (2022)

Constructive theory of ordinals
par: Coquand, Thierry, et autres
Publié: (2022)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
par: Neuwirth, Stefan, et autres
Publié: (2024)

Eliminating reversals from cubical type theories
par: Cavallo, Evan, et autres
Publié: (2026)

Degrees of incomputability, realizability and constructive reverse mathematics
par: Kihara, Takayuki
Publié: (2020)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

Natural numbers from integers
par: Sattler, Christian, et autres
Publié: (2024)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)

Completions of Kleene's second model
par: Terwijn, Sebastiaan A.
Publié: (2023)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
par: Atserias, Albert, et autres
Publié: (2024)

Impredicative Encodings of (Higher) Inductive Types
par: Awodey, Steve, et autres
Publié: (2018)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
par: Fuchser, Janne, et autres
Publié: (2025)

ZFLean: a framework for set-level mathematics in Lean
par: Trélat, Vincent
Publié: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

Large Language Model for OWL Proofs
par: Yang, Hui, et autres
Publié: (2026)

Logic-based analogical proportions
par: Antić, Christian
Publié: (2024)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)