scientific article; zbMATH DE number 1555191

MaRDI QIDQ4525291zbMATH OpenFDO

Authors Eike Ritter

Publication date 22 January 2001

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Cited in

(2)

• Categorical abstract machines for higher-order typed -calculi
• On explicit substitutions and names (extended abstract)

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 Q4525291)