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
S-Storage Operators - MaRDI portal

S-Storage Operators

From MaRDI portal

Publication:4379630

Jump to:navigation, search

DOI10.1002/MALQ.19980440107zbMath0894.03008arXiv0905.0770OpenAlexW2963496852MaRDI QIDQ4379630

Publication date: 4 March 1998

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0905.0770

zbMATH Keywords

call by name call by value head reduction storage operator Church integers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

This page was built for publication: S-Storage Operators

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