Вы здесь

Mason I. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Semantics of Propositional Contexts 1994 Buvac S., Buvac V., Mason I. A. Lecture Notes in Artificial Intelligence 16.11.1994
СТ Program Transformation via Contextual Assertions 1994 Mason I. A., Talcott C. Lecture Notes in Computer Science 14.05.1994
СТ A Theory of Classes for a Functional Language with Effects 1993 Honsell F., Mason I. A., Smith S., Talcott C. Lecture Notes in Computer Science 06.11.1993
СТ Towards a Theory of Actor Computation 1992 Agha G., Mason I. A., Smith S., Talcott C. Lecture Notes in Computer Science 20.10.1992