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
Isomorphism of "Functional" Intersection Types - MaRDI portal

Isomorphism of "Functional" Intersection Types

From MaRDI portal

Publication:2968414

Jump to:navigation, search

DOI10.4230/LIPICS.TYPES.2013.129zbMath1359.03014OpenAlexW2266018886MaRDI QIDQ2968414

Mariangiola Dezani-Ciancaglini, Ines Margaria, Mario Coppo, Maddalena Zacchi

Publication date: 13 March 2017

Full work available at URL: http://dblp.uni-trier.de/db/conf/types/types2013.html#CoppoDMZ13

zbMATH Keywords

lambda calculus intersection types type isomorphism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Isomorphism of intersection and union types

This page was built for publication: Isomorphism of "Functional" Intersection Types

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