Logic programming in tau categories

DOI10.1007/BFB0022261MaRDI QIDQ4474844zbMATH OpenFDO

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

Publication date 21 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0022261

Mathematics Subject Classification ID

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

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

(7)

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

This page was built for publication: Logic programming in tau categories

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