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