State will do

DOI10.1007/978-3-030-57761-2_10zbMath1475.68070OpenAlexW3081891529MaRDI QIDQ2037435

Tom Schrijvers, Koen Pauwels, Willem Seynaeve

Publication date: 1 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57761-2_10

zbMATH Keywords

stateequational reasoningmonadsnon-determinism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: State will do