Functorial Semantics as a Unifying Perspective on Logic Programming

DOI10.4230/LIPICS.CALCO.2021.17MaRDI QIDQ6061677zbMATH OpenOpenAlexFDO

Authors Tao Gu, Fabio Zanasi

Publication date 8 December 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/15372/pdf/LIPIcs-CALCO-2021-17.pdf/

zbMATH Keywords

functorial semanticslogic programmingstring diagrams

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(6)

• Extended unification algorithms for the integration of functional programming into logic programming
• scientific article; zbMATH DE number 1136653 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• Programming Languages and Systems
• A complete diagrammatic calculus for Boolean satisfiability
• The relational machine calculus

This page was built for publication: Functorial Semantics as a Unifying Perspective on Logic Programming

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