Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Universal Algebra in UniMath - MaRDI portal

Universal Algebra in UniMath

From MaRDI portal

Publication:6504361

Jump to:navigation, search

arXiv2102.05952MaRDI QIDQ6504361

Matteo Calosci, Cosimo Perini Brogi, Gianluca Amato, Marco Maggesi

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Type theory (03B38)

This page was built for publication: Universal Algebra in UniMath

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6504361&oldid=37966804"