Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Emilio Jesús Gallego Arias and James B. Lipton. Logic Programming in Tabular Allegories. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 334-347, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{gallegoarias_et_al:LIPIcs.ICLP.2012.334, author = {Gallego Arias, Emilio Jes\'{u}s and B. Lipton, James}, title = {{Logic Programming in Tabular Allegories}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {334--347}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.334}, URN = {urn:nbn:de:0030-drops-36345}, doi = {10.4230/LIPIcs.ICLP.2012.334}, annote = {Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming} }
Feedback for Dagstuhl Publishing