Pedersen, Lars H.

• BRICS Report Series No. 49 (1996): RS-49 Objects, Types and Modal Logics - Articles
  Objects, Types and Modal Logics
  Abstract  PDF