Stabilized profunctors and stable species of structures

DOI10.46298/LMCS-20(1:17)2024MaRDI QIDQ6563041

Hugo Paquet, Marcelo Fiore, Zeinab Galal

Publication date: 27 June 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Combinatorial resolution of systems of differential equations. IV: Separation of variables
• An algebraic approach to stable domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus
• Une théorie combinatoire des séries formelles
• Glueing and orthogonality for models of linear logic
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• The differential lambda-calculus
• Analytic functors between presheaf categories over groupoids
• Higher-order distributions for differential linear logic
• Containers: Constructing strictly positive types
• Compact closed bicategories
• Data Types with Symmetries and Polynomial Functors over Groupoids
• Higher-Order Containers
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Metric spaces, generalized logic, and closed categories
• Data Types as Lattices
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Introduction to bicategories
• Shapely monads and analytic functors
• Connected limits, familial representability and Artin glueing
• Polynomial functors and polynomial monads
• Quantitative domains, groupoids and linear logic
• ∞-Operads as Analytic Monads
• A Logical Account for Linear Partial Differential Equations
• Species, Profunctors and Taylor Expansion Weighted by SMCC
• Indexed containers
• The cartesian closed bicategory of generalised species of structures
• Finiteness spaces
• Foundations of Software Science and Computational Structures
• Two applications of analytic functors
• A combinatorial approach to higher-order structure for polynomial functors
• A Cartesian bicategory of polynomial functors in homotopy type theory

This page was built for publication: Stabilized profunctors and stable species of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563041)