Вы здесь

Plotkin G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Framework for Defining Logics 1993 Harper R., Honsell F., Plotkin G. J. of the ACM 04.03.1993
СТ A Calculus for Access Control in Distributed Systems 1993 Abadi M., Burrows M., Lampson B., Plotkin G. ACM Trans. Programming Languages and Systems 25.11.1993
СТ Bistructures, Bidomains and Linear Logic 1994 Plotkin G., Winskel G. Lecture Notes in Computer Science 11.08.1994