description
branch of category theory with ...... theoretical computer science.
@en
rama de la teoría de categorías dentro de las matemáticas
@es
ramificação da teoria categóri ...... xão com a teoria da computação
@pt
name
Məntiqi kateqoriyalar
@az
categorical logic
@en
kategoria logiko
@eo
lógica categórica
@es
lógica categórica
@pt
内部言語
@ja
type
label
Məntiqi kateqoriyalar
@az
categorical logic
@en
kategoria logiko
@eo
lógica categórica
@es
lógica categórica
@pt
内部言語
@ja
altLabel
圏論的論理
@ja
prefLabel
Məntiqi kateqoriyalar
@az
categorical logic
@en
kategoria logiko
@eo
lógica categórica
@es
lógica categórica
@pt
内部言語
@ja
P3285
P6366
P3285
P3827
categorical-logic