Lolliproc
From MaRDI portal
Publication:5176928
DOI10.1145/1863543.1863551zbMath1323.68135MaRDI QIDQ5176928
Publication date: 5 March 2015
Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1863543.1863551
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
Related Items
Unnamed Item, Lolliproc, Linear logical relations and observational equivalences for session-based concurrency, Proof-Carrying Code in a Session-Typed Process Calculus, Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less)