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

scientific article

From MaRDI portal

Publication:3221959

Jump to:navigation, search

zbMath0558.03005MaRDI QIDQ3221959

Christiaan Peter Jozef Koymans

Publication date: 1984

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

zbMATH Keywords

hypergraph model cartesian closed categories lambda model lambda algebras

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Properties of classes of models (03C52) Models of other mathematical theories (03C65) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Towards a notion of lambda monoid ⋮ Finite type structures within combinatory algebras ⋮ Constructive \(\lambda\)-models ⋮ On stable domains ⋮ Classical lambda calculus in modern dress

This page was built for publication:

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