scientific article; zbMATH DE number 1130260
From MaRDI portal
Publication:4380997
zbMATH Open0891.68011MaRDI QIDQ4380997FDOQ4380997
Publication date: 18 March 1998
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15)
Cited In (5)
- A \(\rho\)-calculus of explicit constraint application
- Explaining the lazy Krivine machine using explicit substitution and addresses
- Intersection types for explicit substitutions
- On explicit substitution with names
- Combinatory reduction systems with explicit substitution that preserve strong normalisation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4380997)
