Linear is CP (more or less)

DOI10.1007/978-3-319-30936-1_15MaRDI QIDQ3188293zbMATH OpenOpenAlexFDO

Authors Jennifer Paykin, Steve Zdancewic

Publication date 17 August 2016

Published in A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30936-1_15

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1231511
• Polarized proof-nets and \(\lambda \mu\)-calculus
• A classical linear \(\lambda\)-calculus
• scientific article; zbMATH DE number 1222571
• scientific article; zbMATH DE number 1456954

Cites work

• A concurrent model for linear logic
• A new constructive logic: classic logic
• A Semantics for Propositions as Sessions
• Call-by-value is dual to call-by-name
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Focalisation and Classical Realisability
• Functions as processes
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• Linear logic
• Linear logical relations and observational equivalences for session-based concurrency
• Linear type theory for asynchronous session types
• Lolliproc: to concurrency from classical linear logic via Curry-Howard and control
• On the \(\pi\)-calculus and linear logic
• On the unity of duality
• Polarized proof-nets and \(\lambda \mu\)-calculus
• Polarized Substructural Session Types
• Propositions as sessions
• Propositions as sessions
• Resource modalities in tensor logic
• Session types as intuitionistic linear propositions
• Term Rewriting and Applications
• The duality of computation

Cited in

(1)

• Polarized proof-nets and \(\lambda \mu\)-calculus

Describes a project that uses

Uses Software

• Lolliproc

This page was built for publication: Linear \(\lambda \mu\) is CP (more or less)

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