scientific article; zbMATH DE number 3532530

zbMath0341.68038MaRDI QIDQ4109302

Mariangiola Dezani-Ciancaglini

Publication date: 1974

Full work available at URL: https://eudml.org/doc/92009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (1)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Uses Software

• Euler

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Total Precedence Relations
• A CUCH-machine: The automatic treatment of bound variables
• Notes on ?A CUCH-machine: The automatic treatment of bound variables?

This page was built for publication: