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

scientific article; zbMATH DE number 860037

From MaRDI portal

Publication:4870807

Jump to:navigation, search

zbMath0840.03009MaRDI QIDQ4870807

Simon J. Gay

Publication date: 26 March 1996

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

zbMATH Keywords

completeness combinators graph rewriting system interaction nets classical linear logic

Mathematics Subject Classification ID

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

Related Items

Interaction combinators ⋮ Interaction nets and term-rewriting systems ⋮ Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators ⋮ Concrete Process Categories ⋮ Interaction nets for linear logic ⋮ Encoding linear logic with interaction combinators ⋮ Universal Boolean Systems

This page was built for publication:

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