A Simple Nominal Type Theory (Q2804939)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Simple Nominal Type Theory
scientific article

    Statements

    title
    A Simple Nominal Type Theory (English)
    0 references
    author
    James Cheney
    0 references
    publication date
    6 May 2016
    0 references
    zbMATH DE Number
    6578008
    0 references
    zbMATH Keywords
    nominal terms
    0 references
    type systems
    0 references
    OpenAlex ID
    W2141444450
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2804939&oldid=36247401"
    Powered by MediaWiki