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
Classical Extraction in Continuation Models - MaRDI portal

Classical Extraction in Continuation Models

From MaRDI portal

Publication:5369478

Jump to:navigation, search

DOI10.4230/LIPICS.FSCD.2016.13zbMATH Open1387.68068OpenAlexW2486160476MaRDI QIDQ5369478

Valentin Blot

Publication date: 17 October 2017

Full work available at URL: https://hal.archives-ouvertes.fr/hal-01766872

zbMATH Keywords

classical logic game semantics control operators extraction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Extraction in the Lambek-Grishin Calculus

This page was built for publication: Classical Extraction in Continuation Models

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