Decorated proofs for computational effects: States

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7061836arXivFDO

Authors Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud

Publication date 2011

Published in arXiv

arXiv classification

This page was built for publication: Decorated proofs for computational effects: States

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7061836)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Decorated_proofs_for_computational_effects:_States&oldid=106313456"