Krivine nets
From MaRDI portal
Publication:2819699
DOI10.1145/2628136.2628152zbMath1345.68050OpenAlexW2013130391MaRDI QIDQ2819699
Dan R. Ghica, Olle Fredriksson
Publication date: 29 September 2016
Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2628136.2628152
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Krivine nets
