Locally Nameless Sigma Calculus

From MaRDI portal


MaRDI QIDQ7361230FDO


Authors Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof

Publication date 30 April 2010








This page was built for software: Locally Nameless Sigma Calculus

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