Applicative Bisimulation and Quantum λ-Calculi
From MaRDI portal
Publication:3455863
DOI10.1007/978-3-319-24644-4_4zbMath1434.68081arXiv1506.06661MaRDI QIDQ3455863
Ugo Dal Lago, Alessandro Rioli
Publication date: 11 December 2015
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.06661
68N18: Functional programming and lambda calculus