Abstracts.202X.ADJ

Adjoint Logic

by TBD

Abstract

TBD

References

TBD

Bibliography

1. P. N. Benton, Philip Wadler: Linear Logic, Monads and the Lambda Calculus. LICS 1996.
2. Jason Reed: A Judgmental Deconstruction of Modal Logic. DRAFT 2009.
3. Daniel R. Licata, Michael Shulman: Adjoint Logic with a 2-Category of Modes. LFCS 2016.
4. Klaas Pruiksma, William Chargin, Frank Pfenning, Jason Reed: Adjoint Logic. DRAFT 2018.