scientific article; zbMATH DE number 7297866
From MaRDI portal
Publication:5144665
zbMath1452.03041MaRDI QIDQ5144665
Dariusz Biernacki, Małgorzata Biernacka, Piotr Polesiuk, Sergueï Lenglet, Damien Pous, Alan Schmitt
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330053
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40) Classical models of computation (Turing machines, etc.) (68Q04)
Related Items (2)
On the interactive power of higher-order processes extended with parameterization ⋮ Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines
This page was built for publication:
