scientific article; zbMATH DE number 1555191
From MaRDI portal
Publication:4525291
zbMath0953.03514MaRDI QIDQ4525291
Publication date: 22 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Categorical abstract machines for higher-order typed \(\lambda\)-calculi ⋮ On explicit substitutions and names (extended abstract)
This page was built for publication: