scientific article; zbMATH DE number 4037165

MaRDI QIDQ3776598zbMATH OpenFDO

Authors Marco Bellia

Publication date 1987

zbMATH Keywords

Computable relationsfunctional languagefunctional programmingHerband termHorn clause theorieslambda-calculuslogic programmingset retractionsUnification

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• Logic and functional programming by retractions : operational semantics
• Logic and functional programming by retractions
• A domain-theoretic approach to functional and logic programming
• scientific article; zbMATH DE number 3872643
• Modelling the combination of functional and logic programming languages

Cited in

(3)

• C-expressions: A variable-free calculus for equational logic programming
• Logic and functional programming by retractions
• Logic and functional programming by retractions : operational semantics

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 Q3776598)