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