Linear logic in computer science
Автор
Ehrhard T., Girard J.-Y., Ruet P., Scott P. (eds.)
Год
2004
Страниц
392
ISBN
ISBN10:0521608570
Издатель
CUP
Описание:
