Daniel R. Licata, Michael Shulman, Mitchell Riley
A Fibrational Framework for Substructural and Modal Logics
FSCD, 2017.
@inproceedings{FSCD-2017-LicataSR, author = "Daniel R. Licata and Michael Shulman and Mitchell Riley", booktitle = "{Proceedings of the Second International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2017.25", isbn = "978-3-95977-047-7", pages = "22", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{A Fibrational Framework for Substructural and Modal Logics}", year = 2017, }