Вы здесь

Plotkin G.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Bistructures, Bidomains and Linear Logic 1994 Plotkin G., Winskel G. Lecture Notes in Computer Science 11.08.1994
СТ 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
СТ A Framework for Defining Logics 1993 Harper R., Honsell F., Plotkin G. J. of the ACM 04.03.1993