L

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

Loading