{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:19:36Z","timestamp":1759637976153},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022261","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"249-263","source":"Crossref","is-referenced-by-count":7,"title":["Logic programming in Tau Categories"],"prefix":"10.1007","author":[{"given":"Stacy E.","family":"Finkelstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Freyd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Lipton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"G. Levi A. Bossi, M. Gabbrielli and M. Martelli. The s-semantics approach: Theory and applications. Journal of Logic Programming, 19\u201320, 1994.","DOI":"10.1016\/0743-1066(94)90026-4"},{"key":"19_CR2","unstructured":"A. Asperti and S. Martini. Projections instead of variables, a category theoretic interpretation of logic programs. In Proc. 6 th 1CLP, pages 337\u2013352. MIT Press, 1989."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Michael Barr and Charles Wells. Toposes, Triples, and Theories. Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"A. Corradini and A. Asperti. A categorical model for logic programs: Indexed monoidal categories. In Proceedings REX Workshop '92. Springer Lecture Notes in Computer Science, 1992.","DOI":"10.1007\/3-540-56596-5_31"},{"key":"19_CR5","unstructured":"A. Corradini and U. Montanari. An algebraic semantics of logic programs as structured transition systems. In Proceedings of the North American Conference on Logic Programming (NACLP '90). MIT Press, 1990."},{"key":"19_CR6","unstructured":"Stacy E. Finkelstein. Tau Categories and Logic Programming. PhD thesis, University of Pennsylvania, 1994."},{"key":"19_CR7","unstructured":"Peter Freyd and Andre Scedrov. Categories, Allegories. North-Holland, 1990."},{"key":"19_CR8","first-page":"20","volume":"19","author":"Joxan Jaffar","year":"1994","unstructured":"Joxan Jaffar and Michael Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19\/20, 1994.","journal-title":"Journal of Logic Programming"},{"key":"19_CR9","unstructured":"J. Lambek and P.J. Scott. Introduction to Higher Order Categorical Logic. Cambridge, 1986."},{"key":"19_CR10","unstructured":"Saunders Mac Lane and Ieke Moerdijk. Sheaves in Geometry and Logic. Springer-Verlag, 1992."},{"key":"19_CR11","unstructured":"James Lipton and Paul Broome. Combinatory logic programming. In Proc. ILPS'94. MIT, 1994."},{"key":"19_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Verlag, New York, 1987."},{"key":"19_CR13","unstructured":"M. Gabbrielli M. Alpuente, M. Falaschi and G. Levi. The semantics of equational logic programming as an instance of clp. In Logic Programming Languages. MIT, 1993."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Michael Makkai and Gonzalo Reyes. First Order Categorical Logic, volume 611 of Lecture Notes in Mathematics. Springer-Verlag, 1977.","DOI":"10.1007\/BFb0066201"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 1990.","DOI":"10.1016\/0168-0072(91)90068-W"},{"key":"19_CR16","unstructured":"P. Panangaden, V. Saraswat, P.J. Scott, and R.A.G. Seely. A hyperdoctrinal view of constraint systems. In Lecture Notes in Computer Science 666. Springer-Verlag, 1993."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"A. Poigne. Algebra categorically. In Category Theory and Computer Programming. Springer, 1986.","DOI":"10.1007\/3-540-17162-2_118"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"D.E. Rydeheard and R.M. Burstall. A categorical unification algorithm. In Category Theory and Computer Programming, 1985.","DOI":"10.1007\/3-540-17162-2_139"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:43:22Z","timestamp":1586573002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0022261","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}