GitHub - boystrange/LinearityChallenge: Agda formalizations of different versions of the Linear Calculus of Continuations based on classical linear logic.

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.

LCC
LCC with infinite types and recursive processes
FreeCP with context-free session types, recursive processes, polymorphic recursion

Name		Name	Last commit message	Last commit date
Latest commit History 201 Commits
.vscode		.vscode
fin		fin
freecp		freecp
lcc		lcc
mini		mini
rec		rec
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Navigation Menu

Repository files navigation

About

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

About

Resources

Stars

Watchers

Forks

Contributors

Languages