scientific article; zbMATH DE number 7357542
From MaRDI portal
Publication:4992899
zbMath1462.68027arXiv1309.0895MaRDI QIDQ4992899
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.
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)
This page was built for publication: