CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254)
From MaRDI portal
scientific article; zbMATH DE number 6432482
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES |
scientific article; zbMATH DE number 6432482 |
Statements
CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (English)
0 references
30 April 2015
0 references
strong normalizability
0 references
syntactic property
0 references
second-order \(\lambda\)-calculus
0 references
non-extensional model
0 references
category
0 references
semi-adjointness
0 references
