:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Neumann, Jacob
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2510.17494
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Arrow-Type Impossibility for Genuinely Modal Judgments
by: Nagai, Yutaka, et al.
Published: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
by: Bezem, Marc, et al.
Published: (2026)

Open Horn Type Theory
by: Poernomo, Iman
Published: (2025)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
by: Neumann, Eike
Published: (2025)

Are Dependent Types in Set Theory Feasible?
by: Yang, Yunsong, et al.
Published: (2026)

Constructing (Co)inductive Types via Large Sizes
by: Laarakker, Bastiaan, et al.
Published: (2026)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Nominal Type Theory by Nullary Internal Parametricity
by: Van Muylder, Antoine, et al.
Published: (2025)

The Groupoid-Syntax of Type Theory is a Set
by: Altenkirch, Thorsten, et al.
Published: (2025)

Automating Boundary Filling in Cubical Type Theories
by: Doré, Maximilian, et al.
Published: (2024)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Type Theory With Erasure
by: Theocharis, Constantine, et al.
Published: (2026)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
by: Baader, Franz, et al.
Published: (2026)

On Planarity of Graphs in Homotopy Type Theory
by: Prieto-Cubides, Jonathan, et al.
Published: (2021)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
by: Ceulemans, Joris, et al.
Published: (2024)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
by: Brough, Jackson
Published: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Layered Modal Type Theories
by: Hu, Jason Z. S., et al.
Published: (2023)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Computational Synthetic Cohomology Theory in Homotopy Type Theory
by: Ljungström, Axel, et al.
Published: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)