Report - A Fibrational Framework for Substructural and Modal Logics ...dlicata.web.wesleyan.edu/pubs/lsr17multi/lsr17multi-ex.pdf · Shulman [2012], Shulman [2015] proposed using modal operators

Please pass captcha verification before submit form