Modules over monads and operational semantics (expanded version)

From MaRDI portal

Publication:6355852

Jump to:navigation, search

arXiv2012.06530MaRDI QIDQ6355852

Tom Hirschowitz, Andre Hirschowitz, Ambroise Lafont

Publication date: 11 December 2020

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

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