The Theory of Contexts for First Order and Higher Order Abstract Syntax (Q2841274)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Theory of Contexts for First Order and Higher Order Abstract Syntax
scientific article

    Statements