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
WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED? - MaRDI portal

WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

From MaRDI portal

Publication:4020489

Jump to:navigation, search

DOI10.1142/S0129054192000140zbMath0804.18006OpenAlexW2121186882MaRDI QIDQ4020489

Frank J. Oles

Publication date: 16 January 1993

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054192000140

zbMATH Keywords

Cartesian closed category adjoint functor many-sorted algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of algebras (08C05)

Related Items (1)

Full abstraction and recursion

This page was built for publication: WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

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