Notes on ?A CUCH-machine: The automatic treatment of bound variables?

DOI10.1007/BF00976061zbMATHOpenAlexMaRDI QIDQ4403723FDO

Authors Mariangiola Dezani-Ciancaglini, Corrado Böhm

Publication date 1973

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

Full work available at URL https://doi.org/10.1007/bf00976061

Mathematics Subject Classification ID

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

Cites work

• A CUCH-machine: The automatic treatment of bound variables

Cited in

(3)

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• scientific article; zbMATH DE number 3532530 (Why is no real title available?)
• A CuCh interpretation of an object-oriented language

This page was built for publication: Notes on ?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 Q4403723)