Вы здесь

Crole R. L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Sound Metalogical Semantics for Input/Output Effects 1995 Crole R. L., Gordon A. D. Lecture Notes in Computer Science Computer Science Logic 24.09.1995