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

scientific article; zbMATH DE number 1868923

From MaRDI portal

Publication:4794072

Jump to:navigation, search

zbMath1008.03010MaRDI QIDQ4794072

Silvia Ghilezan, Viktor Kuncak

Publication date: 16 February 2003

Full work available at URL: https://eudml.org/doc/229660

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

zbMATH Keywords

normalization property terms of head normal forms

Mathematics Subject Classification ID

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

This page was built for publication:

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