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
A Logical Foundation for Environment Classifiers - MaRDI portal

A Logical Foundation for Environment Classifiers

From MaRDI portal

Publication:5894005

Jump to:navigation, search

DOI10.2168/LMCS-6(4:8)2010zbMath1211.68065MaRDI QIDQ5894005

Takeshi Tsukada, Atsushi Igarashi

Publication date: 20 December 2010

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

zbMATH Keywords

modal logic Curry-Howard correspondence environment classifiers multi-stage calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Reasoning about multi-stage programs ⋮ Unnamed Item ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics

This page was built for publication: A Logical Foundation for Environment Classifiers

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