No label defined (Q4218937)
From MaRDI portal
scientific article; zbMATH DE number 1223626
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1223626 |
Statements
15 November 1998
0 references
linear function space
0 references
S4 modality
0 references
simply-typed lambda calculus
0 references
higher-order generalizations of Bellantoni-Cook's function algebra
0 references
category-theoretic model
0 references
