Posts tagged "linear"
- 2020-12-18 – Dependent Linear types in QTT
- 2020-08-03 – Bidirectional Pure Type Systems
- 2019-10-30 – Typing with leftovers
- 2019-07-03 – From modal necessity in ILL to DILL
- 2019-06-26 – Church encoding of linear types
- 2018-07-12 – Linear Lambda Calculus in Agda
- 2017-01-17 – Linear thoughts
This work is licensed under a “CC BY SA 4.0” license.
Site proudly generated by Hakyll