Effect polymorphism in higher-order logic

From MaRDI portal


MaRDI QIDQ7361663FDO


Authors Andreas Lochbihler

Publication date 5 May 2017






Cited in
(1)


This page was built for software: Effect polymorphism in higher-order logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Effect_polymorphism_in_higher-order_logic&oldid=105366812"
Powered by MediaWiki