scientific article; zbMATH DE number 63120

MaRDI QIDQ4008736zbMATH OpenFDO

Authors Benedetto Intrigila, Corrado Böhm

Publication date 27 September 1992

zbMATH Keywords

additioncanonical formcombinatory algebraconfluent reduction systemsexponentiationformula systemsfunctional programming languagesmultisetspolynomialssemirings

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semirings (16Y60) General topics in the theory of software (68N01) Grammars and rewriting systems (68Q42)

Recommendations

• Primitive program algebras of functions of set (multiset) arguments and values
• Algebras, polynomials and programs
• scientific article; zbMATH DE number 4094791
• Polymorphic functions with set-theoretic types. I: Syntax, semantics, and evaluation
• Functional programming concepts and straight-line programs in computer algebra
• Polynomial functors and polynomial monads
• Chapter 4:algebraic sets, polynomials, and other functions
• Polynomial runtime and composability
• scientific article; zbMATH DE number 1263381

Cited in

(3)

• Functional programming concepts and straight-line programs in computer algebra
• scientific article; zbMATH DE number 4094791 (Why is no real title available?)
• scientific article; zbMATH DE number 2172859 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4008736)