scientific article; zbMATH DE number 3607508

From MaRDI portal

Revision as of 11:42, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4172933

Jump to:navigation, search

zbMath0391.68041MaRDI QIDQ4172933

No author found.

Publication date: 1978

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

zbMATH Keywords

Semantics Lambda-Calculus Programming Language Formal Languages Denotational Semantics Higher Type Recursion Tree Languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (6)

A polynomial determination of the most-recent property in Pascal-like programs ⋮ Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ The formal termination problem for programs with finite ALGOL 68-modes ⋮ The IO- and OI-hierarchies ⋮ On termination problems for finitely interpreted ALGOL-like programs ⋮ Expressive power of typed and type-free programming languages

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4172933&oldid=17996701"