[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Linear $$ lambda mu $$ is $$ textsc {CP} $$ (more or less)
Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don
- 作者Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don
- 文件大小766.91KB
- 发表时间2016
- DOI10.1007/978-3-319-30936-1_15
- 页码273-291