Вы здесь

Yoshida N.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Graph Notation for Concurrent Combinators 1995 Yoshida N. Lecture Notes in Computer Science 19.05.1995
СТ Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML 1999 Ohori A., Yoshida N. SIGPLAN Notices 20.12.1999
СТ Channel Dependent Types for Higher-Order Mobile Processes 2004 Yoshida N. POPL 2004 09.06.2004
СТ A Distributed Abstract Machine for Boxed Ambient Calculi 2004 Phillips A., Yoshida N., Eisenbach S. Lecture Notes in Computer Science 23.04.2004
СТ SafeDpi: A Language for Controlling Mobile Code 2004 Hennessy M., Rathke J., Yoshida N. Lecture Notes in Computer Science 30.04.2004
СТ Genericity and the pi-calculus 2005 Berger M., Honda K., Yoshida N. Acta Informatica 20.12.2005