81 search results - page 17 / 17 » A Calculus for Semantic Composition and Scoping |
112
click to vote
EFDBS
2003
14 years 11 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...