Full intersection types and topologies in lambda calculus (Q5943119)

From MaRDI portal
Revision as of 18:46, 3 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 1642263
Language Label Description Also known as
English
Full intersection types and topologies in lambda calculus
scientific article; zbMATH DE number 1642263

    Statements

    Identifiers