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:3677913

Jump to:navigation, search

zbMath0564.18002MaRDI QIDQ3677913

Richard Mijoule

Publication date: 1984

Full work available at URL: https://eudml.org/doc/91745

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

zbMATH Keywords

recursive structure indexed categories higher-order recursion S-computable S-semi-computable

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Abstract and axiomatic computability and recursion theory (03D75) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Fibrations and recursivity

This page was built for publication:

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