scientific article; zbMATH DE number 6734400
From MaRDI portal
Publication:5270088
DOI10.23638/LMCS-13(2:6)2017zbMath1448.68220MaRDI QIDQ5270088
Publication date: 22 June 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
A note on distances between probabilistic and quantum distributions ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Neural nets via forward state transformation and backward loss transformation ⋮ Mac Lane's comparison theorem for the Kleisli construction formalized in Coq ⋮ Steps and traces ⋮ Unnamed Item
This page was built for publication:
