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
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata - MaRDI portal

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata

From MaRDI portal

Publication:3613331

Jump to:navigation, search

DOI10.1007/11874683_7zbMath1225.68107arXiv0706.2076OpenAlexW1759451798MaRDI QIDQ3613331

Klaus Aehlig

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (1)

Semantics of Higher-Order Recursion Schemes

This page was built for publication: A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata

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