scientific article
From MaRDI portal
Publication:3765770
zbMath0629.03036MaRDI QIDQ3765770
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Cut-elimination and normal-form theorems (03F05)
Related Items (4)
On the \(\pi\)-calculus and linear logic ⋮ Unnamed Item ⋮ An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine ⋮ Process synchronisation as fusion
This page was built for publication:
