A categorical model for logic programs: Indexed monoidal categories
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 110-137
- https://doi.org/10.1007/3-540-56596-5_31
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- An algebraic semantics for structured transition systems and its application to logic programsTheoretical Computer Science, 1992
- Categorical models of polymorphismInformation and Computation, 1992
- Petri nets are monoidsInformation and Computation, 1990
- Higher-order Horn clausesJournal of the ACM, 1990
- The category of sketches as a model for algebraic semanticsContemporary Mathematics, 1989
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- First Order Categorical LogicLecture Notes in Mathematics, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- The basic algebraic structures in categories of derivationsInformation and Control, 1975
- Categories for the Working MathematicianPublished by Springer Nature ,1971