Parametrized fixed points and their applications to session types

DOI10.1016/j.entcs.2020.09.008OpenAlexW3094515843WikidataQ113317300 ScholiaQ113317300MaRDI QIDQ2133474

Ryan Kavanagh

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.09.008

zbMATH Keywords

fixed pointsConway identities\(\omega\)-categories\textbf{O}-categoriesdagger operations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Fixed-point operations on ccc's. I
• Notions of computation and monads
• Programming languages and their definition. Selected papers ed. by C. B. Jones
• Propositions as sessions
• Observed Communication Semantics for Classical Processes
• Session Types as Intuitionistic Linear Propositions
• Algebraic specification of data types: A synthetic approach
• The Category-Theoretic Solution of Recursive Domain Equations
• Categories for Types
• Traced Premonoidal Categories
• SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
• Traced monoidal categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parametrized fixed points and their applications to session types