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
scientific article; zbMATH DE number 2060756 - MaRDI portal

scientific article; zbMATH DE number 2060756

From MaRDI portal

Publication:4458488

Jump to:navigation, search

zbMath1040.03506MaRDI QIDQ4458488

Michele Bugliesi, Luigi Liquori, Mariangiola Dezani-Ciancaglini, Viviana Bono

Publication date: 18 March 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type system subtyping type soundness Lambda Calculus of Objects

Mathematics Subject Classification ID

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

Related Items (4)

Non-local configuration of component interfaces by constraint satisfaction ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Extending FeatherTrait Java with interfaces ⋮ Delegation by object composition

This page was built for publication:

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