scientific article; zbMATH DE number 7364199

zbMath1464.68068arXiv1412.8543MaRDI QIDQ4997286

Robin Adams

Publication date: 29 June 2021

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

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

Mathematics Subject Classification ID

Quantum computation (81P68) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A Type Theory for Probabilistic and Bayesian Reasoning ⋮ QPEL

Uses Software

• QPL

This page was built for publication: