Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Logic Programming in Tabular Allegories - MaRDI portal

Logic Programming in Tabular Allegories

From MaRDI portal

Publication:5398071

Jump to:navigation, search

DOI10.4230/LIPIcs.ICLP.2012.334zbMath1281.68079OpenAlexW2165140747MaRDI QIDQ5398071

James Lipton, Emilio Jesús Gallego Arias

Publication date: 25 February 2014

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3634/pdf/32.pdf

zbMATH Keywords

category theory logic programming declarative programming programming language semantics Lawvere categories

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Declarative Compilation for Constraint Logic Programming ⋮ Constraint logic programming with a relational machine

This page was built for publication: Logic Programming in Tabular Allegories

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5398071&oldid=20130571"