scientific article; zbMATH DE number 6943956

DOI10.23638/LMCS-14(3:19)2018MaRDI QIDQ4683857

Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Publication date: 26 September 2018

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the quasivariety on convex subsets of affine spaces
• Cancellative medial means are arithmetic
• Postulates for the barycentric calculus
• A simple proof in Monge–Kantorovich duality theory
• Quantitative Algebraic Reasoning
• A Convenient Category for Higher-Order Probability Theory
• An elementary proof of the triangle inequality for the Wasserstein metric
• Optimal Transport

This page was built for publication: