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
Logic operators and quantifiers in type-theory of algorithms - MaRDI portal

Logic operators and quantifiers in type-theory of algorithms

From MaRDI portal

Publication:6560410

Jump to:navigation, search

DOI10.1007/978-3-031-43977-3_11zbMath1542.03039MaRDI QIDQ6560410

Roussanka Loukanova

Publication date: 21 June 2024

zbMATH Keywords

recursion denotational semantics quantifiers type-theory logic operators reduction calculus algorithmic semantics acyclic algorithms

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

This page was built for publication: Logic operators and quantifiers in type-theory of algorithms

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