Вы здесь
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 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Typed Lambda Calculi and Applications: Proc./Second Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 95. Edinburgh, United Kingdom, April 1995 | 1995 | Lecture Notes in Computer Science |
|
13.04.1995 |