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

scientific article; zbMATH DE number 1508933

From MaRDI portal

Publication:4506396

Jump to:navigation, search

zbMath0946.68021MaRDI QIDQ4506396

Frédéric Lang, Pierre Lescanne

Publication date: 18 September 2000

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2000/A2000-07/A2000-07.html

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

zbMATH Keywords

termination strong normalization

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication:

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