2 papers
math.OA2021
Abstract Operator Systems over the Cone of Positive Semidefinite Matrices
Martin Berger, Tim Netzer
There are several important abstract operator systems with the convex cone of positive semidefinite matrices at the first level. Well-known are the operator systems of separable ma…
cs.LO2021
A program logic for fresh name generation
Harold Pancho Eliott, Martin Berger
We present a program logic for Pitts and Stark's ν-calculus, an extension of the call-by-value simply-typed λ-calculus with a mechanism for the generation of fresh names. Names can…