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

scientific article; zbMATH DE number 1420785

From MaRDI portal

Publication:4944849

Jump to:navigation, search

zbMath0943.03010MaRDI QIDQ4944849

Pierre Leleu, Joëlle Despeyroux

Publication date: 5 September 2000

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

zbMATH Keywords

conservative extension higher-order abstract syntax inductive type simply-typed \(\lambda\)-calculus modal \(\lambda\)-calculus operators for iteration and case reasoning

Mathematics Subject Classification ID

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

Uses Software

ALF

This page was built for publication:

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