scientific article; zbMATH DE number 2079032

zbMATH Open1044.68538MaRDI QIDQ4474844FDOQ4474844

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

Publication date: 21 July 2004

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Category theoretic semantics for theorem proving in logic programming: embracing the laxness
• A new framework for declarative programming
• Logic programming in tabular allegories
• Title not available (Why is that?)
• On the algebraic structure of declarative programming languages
• 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)