Results 71 to 80 of about 932,936 (91)
Some of the next articles are maybe not open access.

Categorical Assertion Semantics in Topoi

Advances in Software Science and Technology, 1993
Yasuo Kawahara
exaly  

Monoidal Closed Categories, Weak Topoi and Generalized Logics

Fuzzy Sets and Systems, 1991
Ulrich Höhle
exaly  

Modular Correspondence Between Dependent Type Theories and Categories Including Pretopoi and Topoi

Mathematical Structures in Computer Science, 2005
Maria Emilia Maietti
exaly  

On Compact Space Objects in Topoi

Lecture Notes in Mathematics, 1982
Oswald Wyler
exaly  

Home - About - Disclaimer - Privacy