scientific article; zbMATH DE number 7357542

zbMath1462.68027arXiv1309.0895MaRDI QIDQ4992899

Tadeusz Litak, Stefan Milius

Publication date: 10 June 2021

Full work available at URL: https://arxiv.org/abs/1309.0895

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Iteration and labelled iteration ⋮ Unnamed Item

This page was built for publication: