Contents

duality

# Contents

## References

• Nick Benton, Philip Wadler, Linear logic, monads and the lambda calculus, In IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 1996.

• Jason Reed, A judgemental deconstruction of modal logic, 2009, (pdf)

• Klaas Pruiksma, William Chargin, Frank Pfenning, and Jason Reed, Adjoint Logic, 2018, (pdf)

A framework for (homotopy-)type theoretic adjoint logic (modal type theory) is discussed, in various stages of generality, in

Review includes

Last revised on January 7, 2019 at 16:10:30. See the history of this page for a list of all contributions to it.