This repository is meant to contain Agda formalizations of various versions of the Linear Calculus of Continuations, a version of the linear π-calculus based on linear logic.
-
Notifications
You must be signed in to change notification settings - Fork 1
Agda formalizations of different versions of the Linear Calculus of Continuations based on classical linear logic.
License
boystrange/LinearityChallenge
About
Agda formalizations of different versions of the Linear Calculus of Continuations based on classical linear logic.