scientific article; zbMATH DE number 3640902

From MaRDI portal

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

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

Publication:4199555

Jump to:navigation, search

zbMath0412.68069MaRDI QIDQ4199555

No author found.

Publication date: 1979

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

zbMATH Keywords

Chomsky hierarchy lambda-calculus semantics of programming languages higher type recursion fixed-point characterizations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)

Related Items (2)

Parameter-reduction of higher level grammars ⋮ The IO- and OI-hierarchies

This page was built for publication:

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