Specification structures and propositions-as-types for concurrency

DOI10.1007/3-540-60915-6_2zbMATH Open1543.68239MaRDI QIDQ6560388

Rajagopal Nagarajan, Simon J. Gay, Samson Abramsky

Publication date: 21 June 2024

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Linear logic
• Linear logic, coherence and dinaturality
• Calculi for synchrony and asynchrony
• Coherence for compact closed categories
• Domain theory in logical form
• New foundations for the geometry of interaction
• Proofs as processes
• *-Autonomous categories and linear logic
• Games and full completeness for multiplicative linear logic
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Related Items (2)

Closing Bell boxing black box simulations in the resource theory of contextuality ⋮ Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers

This page was built for publication: Specification structures and propositions-as-types for concurrency

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