Modules over monads and initial semantics
From MaRDI portal
Publication:964503
DOI10.1016/j.ic.2009.07.003zbMath1200.68152MaRDI QIDQ964503
Marco Maggesi, Andre Hirschowitz
Publication date: 22 April 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2009.07.003
68Q55: Semantics in the theory of computing
Uses Software