scientific article; zbMATH DE number 1130260

MaRDI QIDQ4380997zbMATH OpenFDO

Authors Kristoffer H. Rose

Publication date 18 March 1998

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15)

Cited in

(5)

• Intersection types for explicit substitutions
• On explicit substitution with names
• Explaining the lazy Krivine machine using explicit substitution and addresses
• Combinatory reduction systems with explicit substitution that preserve strong normalisation
• A \(\rho\)-calculus of explicit constraint application

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)