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 1482191 - MaRDI portal

scientific article; zbMATH DE number 1482191

From MaRDI portal

Publication:4492862

Jump to:navigation, search

zbMATH Open0944.03010MaRDI QIDQ4492862

Silvia Ghilezan

Publication date: 27 July 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

intersection types simply typed lambda calculus untyped lambda calculus type topology

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Towards the range property for the lambda theory \(\mathcal H\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4492862)

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