There are no compelling reasons why database-internal query representations have to be designated by operators. This text describes a world in which datatypes determine the comprehension of queries. In this world, a datatype is characterized by its algebra of value constructors. These algebras are principal. Query operators are secondary in the sense that they simply box (recursive) programs th...

In this study we investigate the comprehension of various kinds of anaphoric metaphors in context. We describe an experiment that manipulated the metaphoricity of simple noun + verb + ending sentences by using either a metaphoric noun or a metaphoric verb or both. Our results show that metaphoric nouns affect sentence comprehension to a greater extent than do metaphoric verbs. Thus, even though...

Transboundary regionalism can be defined as a spatially integrated form of political co-operation and problem-solving that transcends the limits of nationally-based administrative practice and attempts to create (or re-create, as the case might be) a sense of cohesiveness, interdependence and common interests across national boundaries. This summary discussion touches upon the phenomenon of Tra...

The proof assistant Isabelle/HOL is based on an extension of HigherOrder Logic (HOL) with ad hoc overloading of constants. It turns out that the interaction between the standard HOL type definitions and the Isabelle-specific ad hoc overloading is problematic for the logical consistency. In previous work, we have argued that standard HOL semantics is no longer appropriate for capturing this inte...