Linear Logic

Project information

Linear logic is a substructural logic discovered by J. Y. Girard with deep connections to applications of logic and mathematics, computer science etc. This is my notebook so to speak.

4 Commits
1 Branch
0 Tags

Created on

January 24, 2022

Copy SSH clone URLgit@gitlab.com:josealvim/linear-logic.git
Copy HTTPS clone URLhttps://gitlab.com/josealvim/linear-logic.git