Objects, Types and Modal Logics (1996)

by Dan S. Andersen , Lars H. Pedersen , Hans Hüttel , Josva Kleist
Citations:6 - 0 self