A typed pattern calculus (Q1908354)

From MaRDI portal





scientific article; zbMATH DE number 847835
Language Label Description Also known as
default for all languages
No label defined
    English
    A typed pattern calculus
    scientific article; zbMATH DE number 847835

      Statements

      A typed pattern calculus (English)
      0 references
      0 references
      0 references
      0 references
      27 March 1996
      0 references
      pattern-matching function
      0 references

      Identifiers