Parallelism and Synchronization in an Infinitary Context

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

Mathematics Subject Classification ID

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 (4)

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

This page was built for publication: Parallelism and Synchronization in an Infinitary Context