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

scientific article; zbMATH DE number 6744285

From MaRDI portal

Publication:5277971

Jump to:navigation, search

DOI10.4230/LIPIcs.TYPES.2014.47zbMath1367.68049MaRDI QIDQ5277971

Raphaël Cauderlier, Catherine Dubois

Publication date: 12 July 2017

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

zbMATH Keywords

rewrite system encoding object calculus dependent type lambda-Pi-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (1)

ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti

Uses Software

dedukti

This page was built for publication:

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