An Isbell duality theorem for type refinement systems (Q4640309)
From MaRDI portal
scientific article; zbMATH DE number 6869457
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Isbell duality theorem for type refinement systems |
scientific article; zbMATH DE number 6869457 |
Statements
An Isbell duality theorem for type refinement systems (English)
0 references
17 May 2018
0 references
