Publication:4023829
From MaRDI portal
zbMath0788.68023MaRDI QIDQ4023829
R. Plasmeijer, Marko van Eekelen
Publication date: 23 January 1993
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N15: Theory of programming languages
68Q42: Grammars and rewriting systems
Related Items
The Impact of the Lambda Calculus in Logic and Computer Science, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, The narrowing-driven approach to functional logic program specialization, Semantics and strong sequentiality of priority term rewriting systems, Context-sensitive rewriting strategies, Relating graph and term rewriting via Böhm models, On modularity in infinitary term rewriting, From Outermost Termination to Innermost Termination, Proving Properties of Lazy Functional Programs with Sparkle, An Introduction to the Lambda Calculus, Abstract λ-Calculus Machines, From Interpretation to Compilation
Uses Software