Copertina

Syntax and Semantics of Linear Dependent Types

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Vákár, Matthijs
Natura:	Preprint
Pubblicazione:	2014
Soggetti:	Logic in Computer Science Programming Languages Category Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Foundations of Substructural Dependent Type Theory
di: Aberlé, C. B.
Pubblicazione: (2024)

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

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Polynomial Universes in Homotopy Type Theory
di: Aberlé, C. B., et al.
Pubblicazione: (2024)

A Unified Framework for Initial Semantics
di: Lamiaux, Thomas, et al.
Pubblicazione: (2025)

Towards a Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2022)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
di: Lemonnier, Louis
Pubblicazione: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
di: Ghica, Dan R., et al.
Pubblicazione: (2022)

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

Scoped Effects as Parameterized Algebraic Theories
di: Matache, Cristina, et al.
Pubblicazione: (2024)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
di: Mangel, Éléonore, et al.
Pubblicazione: (2025)

Parametricity via Cohesion
di: Aberlé, C. B.
Pubblicazione: (2024)

Stone Duality for Monads
di: Garner, Richard, et al.
Pubblicazione: (2026)

String Diagrams for $λ$-calculi and Functional Computation
di: Ghica, Dan, et al.
Pubblicazione: (2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
di: Carette, TItouan, et al.
Pubblicazione: (2022)

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

Non-Cartesian Guarded Recursion with Daggers
di: Lemonnier, Louis
Pubblicazione: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
di: Montacute, Yoàv, et al.
Pubblicazione: (2024)

The Hidden Strength of Costrong Functors
di: Balan, Adriana, et al.
Pubblicazione: (2025)

When is the partial map classifier a Sierpiński cone?
di: Pugh, Leoni, et al.
Pubblicazione: (2025)

A Type Theory with a Tiny Object
di: Riley, Mitchell
Pubblicazione: (2024)

CHAD: Combinatory Homomorphic Automatic Differentiation
di: Vákár, Matthijs, et al.
Pubblicazione: (2021)

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

Compositional imprecise probability
di: Liell-Cock, Jack, et al.
Pubblicazione: (2024)

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

A Categorical Semantics for Linear Logical Frameworks
di: Vákár, Matthijs
Pubblicazione: (2015)

Proto-Quipper with Reversing and Control
di: Fu, Peng, et al.
Pubblicazione: (2024)

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

Impredicative Encodings of (Higher) Inductive Types
di: Awodey, Steve, et al.
Pubblicazione: (2018)

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

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)

Functoriality of Enriched Data Types
di: Mulder, Lukas, et al.
Pubblicazione: (2025)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
di: D'Angelo, Keri, et al.
Pubblicazione: (2025)

Semantics of multimodal adjoint type theory
di: Shulman, Michael
Pubblicazione: (2023)