Image de couverture de livre

Non-Cartesian Guarded Recursion with Daggers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lemonnier, Louis
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

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

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

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

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

One rig to control them all
par: Heunen, Chris, et autres
Publié: (2025)

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

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

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

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

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

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

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)

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

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

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

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

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

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

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)

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

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

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

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

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

A categorical formulation of Kraus' paradox
par: Swan, Andrew W.
Publié: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

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

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

Cauchy-completions and the rule of unique choice in relational doctrines
par: Dagnino, Francesco, et autres
Publié: (2024)

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

Reflexive graph lenses in univalent foundations
par: Sterling, Jonathan
Publié: (2024)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

Oracle modalities
par: Swan, Andrew W
Publié: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

Distributive Laws of Monadic Containers
par: Purdy, Chris, et autres
Publié: (2025)

Context, Judgement, Deduction
par: Coraglia, Greta, et autres
Publié: (2021)