Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

State will do

From MaRDI portal
Publication:2037435
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2037435&oldid=14517381"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 1 February 2024, at 19:18.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki