scientific article

zbMath0471.68058MaRDI QIDQ3926062

Werner Damm

Publication date: 1980

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

zbMATH Keywords

denotational semanticstyped lambda-calculuscall-by-nameprogram schemeslanguage familiesrecursion on higher typesrecursive procedures in ALGOL 68algebra of formal languagescall-by- valueinfinite hierarchies of recursive languagesinfinite hierarchy of control structureslevel-n schemes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

The IO- and OI-hierarchies

Uses Software

• ALGOL 68

This page was built for publication: