scientific article; zbMATH DE number 1130260
From MaRDI portal
Publication:4380997
zbMath0891.68011MaRDI QIDQ4380997
Publication date: 18 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (5)
Intersection types for explicit substitutions ⋮ Combinatory reduction systems with explicit substitution that preserve strong normalisation ⋮ On explicit substitution with names ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ Explaining the lazy Krivine machine using explicit substitution and addresses
This page was built for publication:
