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
Decidable structures between Church-style and Curry-style - MaRDI portal

Decidable structures between Church-style and Curry-style

From MaRDI portal

Publication:2958384

Jump to:navigation, search

DOI10.4230/LIPICS.RTA.2013.190zbMath1356.03058OpenAlexW2285247892MaRDI QIDQ2958384

Ken-etsu Fujita, Aleksy Schubert

Publication date: 1 February 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2013/4062/

zbMATH Keywords

type inference type checking second-order lambda calculus Church style Curry style

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Decidable structures between Church-style and Curry-style

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