Modular Bialgebraic Semantics and Algebraic Laws

DOI10.1007/978-3-642-40922-6_4zbMath1405.68175OpenAlexW1530765847MaRDI QIDQ5410468

Marko van Eekelen, Sjaak Smetsers, Ken Madlener

Publication date: 16 April 2014

Published in: Programming Languages (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/117111

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Unnamed Item

Uses Software

• Coq

This page was built for publication: Modular Bialgebraic Semantics and Algebraic Laws