Вы здесь
Hasegawa M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Logical Predicates for Intuitionistic Linear Type Theories | 1999 | Hasegawa M. | Lecture Notes in Computer Science | 21.04.1999 | |||
| СТ | Semantics of Linear Continuation-Passing in Call-by-Name | 2004 | Hasegawa M. | Lecture Notes in Computer Science | 07.05.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Typed Lambda Calculi and Applications: Proc./11th International Conference, TLCA 2013, Eindhoven, THe Netherlands, June 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 |