Lolliproc

MaRDI QIDQ34415swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=1863543.1863551

Described by source

• Lolliproc: to concurrency from classical linear logic via Curry-Howard and control

Cited in

(5)

• Linear \(\lambda \mu\) is CP (more or less)
• ReCaml
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• Linear logical relations and observational equivalences for session-based concurrency
• Proof-carrying code in a session-typed process calculus

This page was built for software: Lolliproc