Lolliproc: to concurrency from classical linear logic via curry-howard and control.

Karl Mazurak Steve Zdancewic

Published in: ICFP (2010)

Keyphrases

linear logic
control system
fixed point
dynamic allocation
cut elimination
logical framework
sequent calculus
intuitionistic logic
machine learning
object oriented
higher order
multi view
dynamical systems
desirable properties