A typed context calculus (Q5958759)

From MaRDI portal
scientific article; zbMATH DE number 1715804
Language Label Description Also known as
English
A typed context calculus
scientific article; zbMATH DE number 1715804

    Statements