:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rivera, Fernando Rafael Chu, North, Paige Randall
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2602.17480
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functoriality of Enriched Data Types
von: Mulder, Lukas, et al.
Veröffentlicht: (2025)

Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

Measuring data types
von: Mulder, Lukas, et al.
Veröffentlicht: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Generic bidirectional typing for dependent type theories
von: Felicissimo, Thiago
Veröffentlicht: (2023)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Controlling unfolding in type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2022)

Normalization for multimodal type theory
von: Gratzer, Daniel
Veröffentlicht: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

Unifying cubical and multimodal type theory
von: Aagaard, Frederik Lerbjerg, et al.
Veröffentlicht: (2022)

Eliminating reversals from cubical type theories
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Compositional pre-processing for automated reasoning in dependent type theory
von: Blot, Valentin, et al.
Veröffentlicht: (2022)

Classifying covering types in homotopy type theory
von: Mimram, Samuel, et al.
Veröffentlicht: (2025)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

Semantics of multimodal adjoint type theory
von: Shulman, Michael
Veröffentlicht: (2023)

Hypercubical manifolds in homotopy type theory
von: Mimram, Samuel, et al.
Veröffentlicht: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Extracting efficient exact real number computation from proofs in constructive type theory
von: Konečný, Michal, et al.
Veröffentlicht: (2022)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Monoidal weak omega-categories as models of a type theory
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Delooping presented groups in homotopy type theory
von: Champin, Camil, et al.
Veröffentlicht: (2024)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

The $\infty$-category of $\infty$-categories in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2026)

Formalization of dependent type theory: The example of CaTT
von: Benjamin, Thibaut
Veröffentlicht: (2021)