Type Theory Alberto Pardo FG Praktische Informatik Technische Hochschule Darmstadt Magdalenenstr. National Cheng Kung University Abstract Interoperability of multiple databases is becoming an important issue in these years. An Algebraic Approach to Syntax and Semantics Alberto Pardo FG Praktische Informatik Technische Hochschule Darmstadt Magdalenenstr.
Data warehousing is a booming industry with many inter esting research problems.
Type Theory Alberto Pardo FG Praktische Informatik Technische Hochschule Darmstadt Magdalenenstr. 18 f vrier 1997.