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
The Duality of Classical Intersection and Union Types - MaRDI portal

The Duality of Classical Intersection and Union Types

From MaRDI portal

Publication:5212033

Jump to:navigation, search

DOI10.3233/FI-2019-1855zbMath1446.03034MaRDI QIDQ5212033

Paul Downen, Silvia Ghilezan, Zena M. Ariola

Publication date: 24 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

duality sequent calculus intersection types strong normalization soundness and completeness type safety union types reducibility candidates discipline symmetric candidates

Mathematics Subject Classification ID

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

Related Items (1)

Classical (co)recursion: Mechanics

This page was built for publication: The Duality of Classical Intersection and Union Types

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