On the Taylor expansion of probabilistic λ-terms (Q5089013)

From MaRDI portal





scientific article; zbMATH DE number 7559279
Language Label Description Also known as
default for all languages
No label defined
    English
    On the Taylor expansion of probabilistic λ-terms
    scientific article; zbMATH DE number 7559279

      Statements

      0 references
      0 references
      18 July 2022
      0 references
      probabilistic \(\lambda\)-calculi
      0 references
      Taylor expansion
      0 references
      linear logic
      0 references
      On the Taylor expansion of probabilistic λ-terms (English)
      0 references

      Identifiers