Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators (Q6345488)

From MaRDI portal





scientific article; zbMATH DE number 900435762
Language Label Description Also known as
default for all languages
No label defined
    English
    Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators
    scientific article; zbMATH DE number 900435762

      Statements

      7 July 2020
      0 references
      cs.LO
      0 references
      math.LO
      0 references
      0 references

      Identifiers

      0 references