A CUCH-machine: The automatic treatment of bound variables

DOI10.1007/BF00995737zbMATH Open0277.68026MaRDI QIDQ4403722FDOQ4403722

Corrado Böhm, Mariangiola Dezani-Ciancaglini

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)

• Parametric parameter passing \(\lambda\)-calculus
• An efficient interpreter for the lambda-calculus
• Notes on ?A CUCH-machine: The automatic treatment of bound variables?
• Title not available (Why is that?)
• Title not available (Why is that?)
• A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

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)