A Convenient Category for Higher-Order Probability Theory (Q5144684)

From MaRDI portal
Revision as of 16:06, 19 April 2024 by Importer (talk | contribs) (‎Changed label, description and/or aliases in en, and other parts)
scientific article; zbMATH DE number 7297885
Language Label Description Also known as
English
A Convenient Category for Higher-Order Probability Theory
scientific article; zbMATH DE number 7297885

    Statements

    author
    Chris Heunen
    0 references
    Ohad Kammar
    0 references
    Sam Staton
    0 references
    Hongseok Yang
    0 references
    publication date
    19 January 2021
    0 references
    describes a project that uses
    Venture
    0 references
    Church
    0 references
    Quasi-Borel Spaces
    0 references
    arXiv classification
    cs.PL
    0 references
    cs.AI
    0 references
    cs.LO
    0 references
    math.CT
    0 references
    math.PR
    0 references

    Identifiers

    Mathematics Subject Classification ID
    60A05
    0 references
    18D15
    0 references
    60E99
    0 references
    60G09
    0 references
    68Q87
    0 references
    zbMATH DE Number
    7297885
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5144684&oldid=33627882"
    Powered by MediaWiki