Sciweavers

81 search results - page 17 / 17
» A Calculus for Semantic Composition and Scoping
Sort
View
EFDBS
2003
13 years 8 months ago
Four-Level-Architecture for Closure in Interoperability
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...
B. Nick Rossiter, Michael A. Heather