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 Safe Lambda Calculus - MaRDI portal

The Safe Lambda Calculus

From MaRDI portal

Publication:5901537

Jump to:navigation, search

DOI10.2168/LMCS-5(1:3)2009zbMath1162.68007MaRDI QIDQ5901537

No author found.

Publication date: 29 April 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (4)

Cost Automata, Safe Schemes, and Downward Closures ⋮ Unnamed Item ⋮ Evaluating lambda terms with traversals ⋮ The IO and OI hierarchies revisited

This page was built for publication: The Safe Lambda Calculus

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