Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499)

From MaRDI portal
scientific article; zbMATH DE number 7630477
Language Label Description Also known as
English
Synthetic topology in Homotopy Type Theory for probabilistic programming
scientific article; zbMATH DE number 7630477

    Statements

    Synthetic topology in Homotopy Type Theory for probabilistic programming (English)
    0 references
    0 references
    0 references
    0 references
    9 December 2022
    0 references
    probabilistic programming
    0 references
    categorical semantics
    0 references
    homotopy type theory
    0 references
    topology
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers