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
Contextual modal type theory with polymorphic contexts - MaRDI portal

Contextual modal type theory with polymorphic contexts

From MaRDI portal

Publication:6535241

Jump to:navigation, search

DOI10.1007/978-3-031-30044-8_11zbMath1541.68089MaRDI QIDQ6535241

Yuito Murase, Atsushi Igarashi, Yuichi Nishiwaki

Publication date: 24 November 2023

zbMATH Keywords

metaprogramming contextual modal types Fitch-style modal lambda-calculi polymorphic contexts

Mathematics Subject Classification ID

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

This page was built for publication: Contextual modal type theory with polymorphic contexts

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