Parallelism and Synchronization in an Infinitary Context
From MaRDI portal
Publication:4635836
DOI10.1109/LICS.2015.58zbMath1401.68030arXiv1505.03635OpenAlexW1552338004MaRDI QIDQ4635836
Benoît Valiron, Ugo Dal Lago, Claudia Faggian, Akira Yoshimizu
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1505.03635
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items
Semantics of higher-order quantum computation via geometry of interaction, Abstract machines, optimal reduction, and streams, Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach, A Fresh Look at the λ-Calculus