Constant time parallel computations in \(\lambda\)-calculus (Q5958783)
From MaRDI portal
scientific article; zbMATH DE number 1715828
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constant time parallel computations in \(\lambda\)-calculus |
scientific article; zbMATH DE number 1715828 |
Statements
Constant time parallel computations in \(\lambda\)-calculus (English)
0 references
3 March 2002
0 references
Lambda calculus
0 references
complete developments
0 references
simple typing
0 references
full type structure
0 references
elementary complexity
0 references
