Adjunction Models For Call-By-Push-Value With Stacks (Q2842825)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Adjunction Models For Call-By-Push-Value With Stacks
scientific article

    Statements

    Identifiers