ACM A. M. Turing Award

1991

理解会相互作用的程序

语言与软件1991

插画肖像：罗宾·米尔纳

理解会相互作用的程序

证明、类型与通信成为相互联系的软件推理工具。

罗宾·米尔纳

浏览所有年份 ↗