scientific article; zbMATH DE number 3589705

zbMath0378.68008MaRDI QIDQ4157924

André Arnold

Publication date: 1978

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

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

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Least fixed points revisited
• A generalized approach to formal languages
• Fixpoint approach to the theory of computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: