Publication:3894946

From MaRDI portal

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

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

Jump to:navigation, search

zbMath0448.68003MaRDI QIDQ3894946

Elfriede Fehr

Publication date: 1980

zbMATH Keywords

lambda-calculus; fixed-point operators; control structures of programming languages; definability of functions and objects; type-free programming; typed concepts

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68N01: General topics in the theory of software

03B40: Combinatory logic and lambda calculus

Related Items

The IO- and OI-hierarchies

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