scientific article
From MaRDI portal
Publication:2778826
zbMath0981.03057MaRDI QIDQ2778826
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440268
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Strong normalisation in the \(\pi\)-calculus ⋮ Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
This page was built for publication:
