scientific article; zbMATH DE number 3848594

MaRDI QIDQ3318098zbMATH OpenFDO

Authors Werner Damm

Publication date 1980

zbMATH Keywords

call-by-namecall-by-valuehierarchies of recursive languagesprogram schemetyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Automata and formal grammars in connection with logical questions (03D05) Hierarchies of computability and definability (03D55) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4104365
• IO vs OI in higher-order recursion schemes
• scientific article; zbMATH DE number 3890697
• An automata-theoretical characterization of the OI-hierarchy
• scientific article; zbMATH DE number 3887103

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318098)