This paper is a follow-up on previous work by the author on subtyping with (set-theoretic) union, intersection and recursive types. Previously, it was shown how types may be encoded as regular tree expressions/set constraints. This gave rise to a sound and complete decision procedure for type inclusion. The result was, however, limited to a rather speciic type language. In the work reported on ...

This paper is a follow-up on previous work by the author on sub-typing with (set-theoretic) union, intersection and recursive types. Previously, it was shown how types may be encoded as regular tree expressions/set constraints. This gave rise to a sound and complete decision procedure for type inclusion. The result was, however, limited to a rather speciic type language. In the work reported on...

One of the primary aims of linguistic semantics is to translate the expressions of natural language into formulas of some logical calculus. These formulas, in turn, can be interpreted in the appropriate models, and semantic notions like truth, entailment, etc. can be formally defined in the usual manner. In addition to the well-known theoretical advantages of such an intermediate logical form, ...

Now that we have covered the basics of research, organization, and how to make reasoned claims, we turn our attention to the first of three types of speeches you might find yourself delivering one day. We often equate speeches with political candidates making appeals to an audience, or perhaps a sermon on morality from a preacher, but not all speeches are designed to persuade a person. In fact,...

OBJECTIVE To compare functionality, reasons for non-function, and nuisance alarm levels of two common types of smoke alarms after installation in low- to mid-level income households in King County, Washington. METHODS Randomized controlled trial of 761 households. An ionization or photoelectric smoke alarm was installed between June 1, 2000 and July 31, 2002. Main outcome measures were: perce...