Deep Embedding of Intuitionistic Linear Logic

From MaRDI portal


MaRDI QIDQ7361302FDO


Authors Filip Smola, Jacques D. Fleuriot

Publication date 25 November 2024






Cited in
(1)


This page was built for software: Deep Embedding of Intuitionistic Linear Logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Deep_Embedding_of_Intuitionistic_Linear_Logic&oldid=105364787"
Powered by MediaWiki