Objects, Types and Modal Logics

Dan S. Andersen, Hans Hüttel, Josva Kleist, Lars H. Pedersen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Proceedings of FOOL4
Publication date	1997
Publication status	Published - 1997
Event	Workshop on Foundations of Object Oriented Languages - Duration: 19 May 2010 → …

Conference	Workshop on Foundations of Object Oriented Languages
Period	19/05/2010 → …

AUB Link

@inproceedings{141fc7909c2d11db8ed6000ea68e967b,

title = "Objects, Types and Modal Logics",

author = "Andersen, {Dan S.} and Hans H{\"u}ttel and Josva Kleist and Pedersen, {Lars H.}",

year = "1997",

language = "English",

booktitle = "Proceedings of FOOL4",

note = "Workshop on Foundations of Object Oriented Languages ; Conference date: 19-05-2010",

}