scientific article
From MaRDI portal
Publication:3388525
zbMath1464.68219arXiv1302.6337MaRDI QIDQ3388525
Publication date: 5 May 2021
Full work available at URL: https://arxiv.org/abs/1302.6337
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)
Related Items (5)
Contextual equivalences in configuration structures and reversibility ⋮ On the value of variables ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ A Fresh Look at the λ-Calculus ⋮ Processes against tests: on defining contextual equivalences
This page was built for publication:
