DaftarIsitemplate |
Call Number |
SEM-198 |
Title |
Combinatory representation of mobile processes,Hal 348-360 |
Author |
Kohei Honda; Nobuko Yoshida; |
Publisher |
Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
Subject |
Location |