A categorical model for logic programs: Indexed monoidal categories-Reference-Cited by-同舟云学术

A categorical model for logic programs: Indexed monoidal categories

Published:1993 Issue: Volume: Page:110-137
ISSN:0302-9743
Container-title:Semantics: Foundations and Applications
language:
Short-container-title:

Author:

Corradini Andrea,Asperti Andrea

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56596-5_31.pdf

Reference32 articles.

1. A. Asperti, G. Longo, Categories, Types and Structures, an Introduction to Category Theory for the Working Computer Scientist, Foundations of Computing Series (MIT Press, Cambridge, MA, 1991).

2. A. Asperti, S. Martini, Projections instead of variables, A category theoretic interpretation of logic programs, Proc. 6th Int. Conf. on Logic Programming, MIT Press, 1989, pp. 337–352.

3. A. Asperti, S. Martini, Categorical Models of Polymorphism, Information and Computation, 99 (1), 1992, pp. 1–79.

4. A. Bastiani, C. Ehresmann, Categories of sketched structures, Cahiers de Topologie et Géometrie Différentielle, 13, 1973, pp. 1–105.

5. D.B. Benson, The Basic Algebraic Structures in Categories of Derivations, Information and Control, 28 (1), 1975, pp. 1–29.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Coalgebraic Approach to Unification Semantics of Logic Programming;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

2. A new framework for declarative programming;Theoretical Computer Science;2003-05

3. Categorical rewriting of term-like structures;Electronic Notes in Theoretical Computer Science;2002-05

4. A Coalgebraic presentation of structured transition systems;Theoretical Computer Science;2001-06

5. Indexed Categories and Bottom-Up Semantics of Logic Programs;Logic for Programming, Artificial Intelligence, and Reasoning;2001