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
Two decreasing measures for simply typed \(\lambda\)-terms - MaRDI portal

Two decreasing measures for simply typed \(\lambda\)-terms

From MaRDI portal

Publication:6622048

Jump to:navigation, search

DOI10.4230/lipics.fscd.2023.11zbMath1548.03024MaRDI QIDQ6622048

Pablo Barenbaum, Cristian Sottile

Publication date: 21 October 2024

zbMATH Keywords

rewriting termination strong normalization simple types \(\lambda\) calculus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Two decreasing measures for simply typed \(\lambda\)-terms

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