Galois Connections in Categorial Type Logic (Q4923551)

From MaRDI portal
scientific article; zbMATH DE number 6165918
Language Label Description Also known as
English
Galois Connections in Categorial Type Logic
scientific article; zbMATH DE number 6165918

    Statements

    Identifiers