Applicative Lifting

From MaRDI portal
Applicative Lifting (AFP entry Applicative Lifting)


MaRDI QIDQ7361733FDO


Authors Andreas Lochbihler, Joshua Schneider

Publication date 22 December 2015



Cites work



Cited in
(4)


This page was built for software: Applicative Lifting

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Applicative_Lifting_(AFP_entry_Applicative_Lifting)&oldid=105368393"
Powered by MediaWiki