Вы здесь

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

Редактор: