Image de couverture de livre

The calculus of neo-Peircean relations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bonchi, Filippo, Di Giorgio, Alessandro, Haydon, Nathan, Sobocinski, Pawel
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Diagrammatic Algebra of First Order Logic
par: Bonchi, Filippo, et autres
Publié: (2024)

Diagrammatic Polyhedral Algebra
par: Bonchi, Filippo, et autres
Publié: (2021)

Parametric Iteration in Resource Theories
par: Di Giorgio, Alessandro, et autres
Publié: (2025)

A Diagrammatic Basis for Computer Programming
par: Bonchi, Filippo, et autres
Publié: (2025)

A Diagrammatic Algebra for Program Logics
par: Bonchi, Filippo, et autres
Publié: (2024)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
par: Bonchi, Filippo, et autres
Publié: (2024)

Monoidal Width
par: Di Lavore, Elena, et autres
Publié: (2022)

Tape Diagrams for Monoidal Monads
par: Bonchi, Filippo, et autres
Publié: (2025)

Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

Order in Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

Tapes as Stochastic Matrices of String Diagrams
par: Bonchi, Filippo, et autres
Publié: (2026)

Coalgebraic Behavioral Metrics
par: Baldan, Paolo, et autres
Publié: (2017)

Effectful Mealy Machines
par: Bonchi, Filippo, et autres
Publié: (2024)

Program Logics via Distributive Monoidal Categories
par: Bonchi, Filippo, et autres
Publié: (2025)

Interpolation for the two-way modal mu-calculus
par: Kloibhofer, Johannes, et autres
Publié: (2025)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

String Diagrams for Closed Symmetric Monoidal Categories
par: Reader, Callum, et autres
Publié: (2025)

Resource approximation for the $λμ$-calculus
par: Barbarossa, Davide
Publié: (2024)

The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)

Higher order differential calculus in mathlib
par: Gouëzel, Sébastien
Publié: (2025)

An implicit function theorem for the stream calculus
par: Boreale, Michele, et autres
Publié: (2023)

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Approximation theory for distant Bang calculus
par: Chardonnet, Kostia, et autres
Publié: (2026)

On the complexity of normalization for the planar $λ$-calculus
par: Das, Anupam, et autres
Publié: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

Formula size game and model checking for modal substitution calculus
par: Ahvonen, Veeti, et autres
Publié: (2025)

The decohered ZX-calculus
par: Carette, Titouan, et autres
Publié: (2025)

Consistent Update Synthesis via Privatized Beliefs
par: Schlögl, Thomas, et autres
Publié: (2024)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
par: Komel, Anja Petković, et autres
Publié: (2025)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
par: Barbarossa, Davide
Publié: (2024)

Encoding call-by-push-value in the pi-calculus
par: Bennetzen, Benjamin, et autres
Publié: (2025)

T-BAT semantics and its logics
par: Pawlowski, Pawel
Publié: (2025)

A dependently-typed calculus of event telicity and culminativity
par: Kovalev, Pavel, et autres
Publié: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
par: Mironov, Andrew M.
Publié: (2025)

Wiring the Pi-calculus to Denotational Semantics
par: Sakayori, Ken, et autres
Publié: (2026)

From Actions to Obligations: A Deontic Action Model Logic
par: Cignarale, Giorgio
Publié: (2026)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
par: Nogueira, Pablo, et autres
Publié: (2022)