A subexponential view of domains in session types

DOI10.4204/EPTCS.357.7MaRDI QIDQ6661154

Daniel Lima Ventura, Author name not available (Why is that?), Carlos Olarte

Publication date: 13 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

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?)
• Linear logic
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Computational interpretations of linear logic
• Lectures on the Curry-Howard isomorphism
• Subexponential concurrent constraint programming
• A calculus of mobile processes. I
• On the expressiveness of internal mobility in name-passing calculi
• Proofs as processes
• On subexponentials, focusing and modalities in concurrent systems
• A Gentle Introduction to Multiparty Asynchronous Session Types
• Functions as Session-Typed Processes
• A Proof Theoretic Study of Soft Concurrent Constraint Programming
• Information flow safety in multiparty sessions
• Linearity, Control Effects, and Behavioral Types
• A modal analysis of staged computation
• Session Types as Intuitionistic Linear Propositions
• Logic Programming with Focusing Proofs in Linear Logic
• A uniform framework for substructural logics with modalities
• Hybrid linear logic, revisited
• Contextual modal type theory
• Linear logic propositions as session types
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)

This page was built for publication: A subexponential view of domains in session types

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