On the expressive power of first-order boolean functions in PCF (Q5958769)

From MaRDI portal





scientific article; zbMATH DE number 1715814
Language Label Description Also known as
default for all languages
No label defined
    English
    On the expressive power of first-order boolean functions in PCF
    scientific article; zbMATH DE number 1715814

      Statements

      On the expressive power of first-order boolean functions in PCF (English)
      0 references
      3 March 2002
      0 references
      programming languages
      0 references
      semantics
      0 references
      PCF
      0 references
      degrees of parallelism
      0 references
      sequentiality relations
      0 references
      0 references
      0 references

      Identifiers