Objects, Types and Modal Logics (1996)

by Dan S Andersen, Lars H Pedersen, Hans Hüttel, Josva Kleist
Venue:20 Publications in the BRICS Report Series RS-96-49