:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Altenkirch, Thorsten, Kaposi, Ambrus, Xie, Szumi
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2509.14988
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Type Theory with Single Substitutions
by: Kaposi, Ambrus, et al.
Published: (2025)

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

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
by: Altenkirch, Thorsten, et al.
Published: (2026)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Substitution Without Copy and Paste
by: Altenkirch, Thorsten, et al.
Published: (2025)

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

For Generalised Algebraic Theories, Two Sorts Are Enough
by: Avrillon, Samy, et al.
Published: (2026)

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

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

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)

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

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

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

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

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

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)

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

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
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)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Hammering Higher Order Set Theory
by: Brown, Chad E., et al.
Published: (2025)

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

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

Syntax-Guided Automated Program Repair for Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

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

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

A Judgmental Construction of Directed Type Theory
by: Neumann, Jacob
Published: (2025)

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

A Syntax for Strictly Associative and Unital $\infty$-Categories
by: Finster, Eric, et al.
Published: (2023)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System
by: Sun, Sheng, et al.
Published: (2021)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
by: Fiore, Marcelo, et al.
Published: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
by: Danso, Priscilla Kyei, et al.
Published: (2026)

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