No label defined (Q4222842)
From MaRDI portal
scientific article; zbMATH DE number 1231527
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1231527 |
Statements
14 December 1998
0 references
denotational semantics
0 references
categorical semantics
0 references
first-order logic
0 references
linear logic
0 references
embedding of small category
0 references
category of Chu spaces
0 references
variant of Yoneda embedding
0 references