scientific article; zbMATH DE number 4191084

zbMATH Open0722.68016MaRDI QIDQ3210146FDOQ3210146

John Alan Robinson

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 274905
• Modelling the combination of functional and logic programming languages
• scientific article; zbMATH DE number 3872643
• Logic programming, functional programming, and inductive definitions
• scientific article; zbMATH DE number 1688813

zbMATH Keywords

functional programmingReductionset manipulation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Logic programming (68N17) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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