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
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi - MaRDI portal

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

From MaRDI portal

Publication:5902124

Jump to:navigation, search

DOI10.2168/LMCS-5(2:11)2009zbMath1168.03008MaRDI QIDQ5902124

Ralph Matthes, Luís Pinto, José Espírito Santo

Publication date: 30 June 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

strong normalisation call-by-name intuitionistic sequent calculus simply-typed lambda-calculus continuation-and-garbage-passing-style translation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Monadic Translation of Intuitionistic Sequent Calculus

This page was built for publication: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

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