No label defined (Q4288287)
From MaRDI portal
scientific article; zbMATH DE number 554485
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 554485 |
Statements
15 December 1994
0 references
Cartesian closed category
0 references
intensional semantics
0 references
programming languages
0 references
comonad
0 references
co-Kleisli construction
0 references
computations
0 references
Scott domains
0 references
parallel algorithms
0 references
simply typed \(\lambda\)-calculus
0 references