scientific article
From MaRDI portal
Publication:3795183
zbMath0649.68002MaRDI QIDQ3795183
Hugh Glaser, Chris Hankin, David Till
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticsfunctional programmingLISPfunctional programming languageslambda- calculusKRCHOPE
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (3)
NP-completeness of a combinator optimization problem ⋮ Proposal for a natural formalization of functional programming concepts ⋮ An operational semantics for paragon: A design notation for parallel architectures
This page was built for publication:
