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 |
---|---|---|---|
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