Logical relations for monadic types (Q3545276)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logical relations for monadic types
scientific article

    Statements

    title
    Logical relations for monadic types (English)
    0 references
    author
    Jean Goubault-Larrecq
    0 references
    Sławomir Lasota
    0 references
    David E. Nowak
    0 references
    publication date
    10 December 2008
    0 references
    zbMATH Keywords
    lambda calculus
    0 references

    Identifiers

    zbMATH DE Number
    5380205
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3545276&oldid=35085246"
    Powered by MediaWiki