146 search results - page 30 / 30 » A Typed Lambda Calculus with Categorical Type Constructors |
ICEIS
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...