scientific article; zbMATH DE number 2079032

MaRDI QIDQ4474844zbMATH OpenFDO

Authors Stacy E. Finkelstein, James Lipton, Peter J. Freyd

Publication date 21 July 2004

Mathematics Subject Classification ID

Logic programming (68N17) Categorical semantics of formal languages (18C50)

Recommendations

• A new framework for declarative programming
• On the algebraic structure of declarative programming languages
• Indexed categories and bottom-up semantics of logic programs
• Category-based constraint logic
• scientific article; zbMATH DE number 3999254

Cited in

(6)

• Category theoretic semantics for theorem proving in logic programming: embracing the laxness
• On the algebraic structure of declarative programming languages
• Logic programming in tabular allegories
• scientific article; zbMATH DE number 1407682 (Why is no real title available?)
• A new framework for declarative programming
• Indexed categories and bottom-up semantics of logic programs

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