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
Initial Semantics for Reduction Rules - MaRDI portal

Initial Semantics for Reduction Rules

From MaRDI portal

Publication:5376643

Jump to:navigation, search

DOI10.23638/LMCS-15(1:28)2019zbMath1421.68013arXiv1212.5668MaRDI QIDQ5376643

Benedikt Ahrens

Publication date: 17 May 2019

Full work available at URL: https://arxiv.org/abs/1212.5668

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Initial Semantics for Reduction Rules

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