发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Behavioral equivalence in the polymorphic pi-calculus

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Behavioral equivalence in the polymorphic pi-calculus

Pierce, Benjamin C.; Sangiorgi, Davide

作者Pierce, Benjamin C.; Sangiorgi, Davide
文件大小1054.05KB
发表时间1997
DOI10.1145/263699.263729
页码242-255

← 返回【学霸图书馆】主页