Вы здесь
Lenisa M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Final Semantics for a Higher Order Concurrent Language | 1996 | Lenisa M. | Lecture Notes in Computer Science | 29.05.1996 | |||
| СТ | Final Semantics for Untyped -calculus | 1995 | Honsell F., Lenisa M. | Lecture Notes in Computer Science | 15.04.1995 | |||
| СТ | Processes and Hyperuniverses | 1994 | Forti M., Honsell F., Lenisa M. | Lecture Notes in Computer Science | 29.09.1994 | |||
| СТ | Some Results on the Full Abstraction Problem for Restricted Lambda Calculi | 1993 | Honsell F., Lenisa M. | Lecture Notes in Computer Science | 20.10.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Algebra and Coalgebra in Computer Science: Proc./Third International Conference, CALCO 2009, Udine, Italy, September 2009 | 2009 | Lecture Notes in Computer Science |
|
24.03.2010 |