scientific article

zbMath0474.18003MaRDI QIDQ3929914

Serguei V. Solov'ev

Publication date: 1981

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

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

zbMATH Keywords

cartesian closed categoriesdecision algorithmequality for canonical morphismsinternal hom functors

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Retrieving library functions by unifying types modulo linear isomorphism

This page was built for publication: