Lolliproc

swMATH22624MaRDI QIDQ34415FDOQ34415

Author name not available (Why is that?)

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