Explicit Contexts in LF (Extended Abstract) (Q2804940)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Explicit Contexts in LF (Extended Abstract)
scientific article

    Statements