Author:
Finkelstein Stacy E.,Freyd Peter,Lipton James
Subject
General Computer Science,Theoretical Computer Science
Reference69 articles.
1. The s-semantics approach: theory and applications;Levi;J. Logic Program.,1994
2. G. Amato, Sequent Calculus and Indexed Categories as Foundations for Logic Programming, Ph.D. Thesis, University of Pisa, 2000.
3. Projections instead of variables, a category theoretic interpretation of logic programs;Asperti,1989
4. A general framework for semantics based, bottom-up abstract interpretation of logic programs;Barbuti;ACM Trans. Program. Languages Systems,1993
5. Category Theory for Computing Science;Barr,1990
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献