scientific article
From MaRDI portal
Publication:4008736
zbMath0753.03007MaRDI QIDQ4008736
Benedetto Intrigila, Corrado Böhm
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomialsadditionexponentiationsemiringscanonical formmultisetsfunctional programming languagescombinatory algebraconfluent reduction systemsformula systems
Grammars and rewriting systems (68Q42) Semirings (16Y60) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)