Full Abstraction for Probabilistic PCF
From MaRDI portal
Publication:4561511
DOI10.1145/3164540zbMath1426.68035arXiv1511.01272MaRDI QIDQ4561511
Thomas Ehrhard, Michele Pagani, Christine Tasson
Publication date: 6 December 2018
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1511.01272
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing