A CUCH-machine: The automatic treatment of bound variables

DOI10.1007/BF00995737zbMATH Open0277.68026MaRDI QIDQ4403722FDOQ4403722

Authors Mariangiola Dezani-Ciancaglini, Corrado Böhm

Publication date 1972

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Combinatory logic and lambda calculus (03B40)

Cites work

• Combinatory logic. With two sections by William Craig.
• Correspondence between ALGOL 60 and Church's Lambda-notation
• One-way stack automata

Cited in

(7)

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Notes on ?A CUCH-machine: The automatic treatment of bound variables?
• scientific article; zbMATH DE number 3605901 (Why is no real title available?)
• An efficient interpreter for the lambda-calculus
• Parametric parameter passing \(\lambda\)-calculus
• scientific article; zbMATH DE number 3532530 (Why is no real title available?)
• A CuCh interpretation of an object-oriented language

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: A CUCH-machine: The automatic treatment of bound variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4403722)