scientific article; zbMATH DE number 1086661
From MaRDI portal
Publication:4362911
zbMath0889.68022MaRDI QIDQ4362911
Vincent Danos, Laurent Regnier, Marco Pedicini
Publication date: 2 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Abstract machines, optimal reduction, and streams ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach ⋮ Musings around the geometry of interaction, and coherence
This page was built for publication:
