Image de couverture de livre

Foundations of Substructural Dependent Type Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Aberlé, C. B.
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Programming Languages Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
par: Aberlé, C. B.
Publié: (2026)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

Parametricity via Cohesion
par: Aberlé, C. B.
Publié: (2024)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Scoped Effects as Parameterized Algebraic Theories
par: Matache, Cristina, et autres
Publié: (2024)

For Generalised Algebraic Theories, Two Sorts Are Enough
par: Avrillon, Samy, et autres
Publié: (2026)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
par: Ghica, Dan R., et autres
Publié: (2022)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

Non-Cartesian Guarded Recursion with Daggers
par: Lemonnier, Louis
Publié: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
par: Montacute, Yoàv, et autres
Publié: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
par: Lemonnier, Louis
Publié: (2024)

A Unified Framework for Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
par: Mangel, Éléonore, et autres
Publié: (2025)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

Stone Duality for Monads
par: Garner, Richard, et autres
Publié: (2026)

String Diagrams for $λ$-calculi and Functional Computation
par: Ghica, Dan, et autres
Publié: (2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
par: Carette, TItouan, et autres
Publié: (2022)

The Hidden Strength of Costrong Functors
par: Balan, Adriana, et autres
Publié: (2025)

When is the partial map classifier a Sierpiński cone?
par: Pugh, Leoni, et autres
Publié: (2025)

Substructural Parametricity
par: Aberlé, C. B., et autres
Publié: (2025)

Groupoidal Realizability for Intensional Type Theory
par: Speight, Sam
Publié: (2024)

Coslice Colimits in Homotopy Type Theory
par: Hart, Perry, et autres
Publié: (2024)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
par: Fujii, Soichiro, et autres
Publié: (2026)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
par: Dagnino, Francesco, et autres
Publié: (2021)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
par: Fiore, Marcelo, et autres
Publié: (2025)

Compositional imprecise probability
par: Liell-Cock, Jack, et autres
Publié: (2024)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
par: Haynes, Houston
Publié: (2026)

Synthetic 1-Categories in Directed Type Theory
par: Altenkirch, Thorsten, et autres
Publié: (2024)

Proto-Quipper with Reversing and Control
par: Fu, Peng, et autres
Publié: (2024)

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

Categorical Foundations of Formalized Condensed Mathematics
par: Asgeirsson, Dagur, et autres
Publié: (2024)

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Epimorphisms and Acyclic Types in Univalent Foundations
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Functoriality of Enriched Data Types
par: Mulder, Lukas, et autres
Publié: (2025)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
par: D'Angelo, Keri, et autres
Publié: (2025)