A calculus of evolving objects (Q4621132)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7020131
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A calculus of evolving objects |
scientific article; zbMATH DE number 7020131 |
Statements
8 February 2019
0 references
dynamic programming
0 references
evolving objects
0 references
type system
0 references
lambda-calculus
0 references
first-class mapping
0 references
0.74013751745224
0 references
0.7284398078918457
0 references
0.7162683606147766
0 references
0.6983912587165833
0 references
