类型理论（Type theory）,E文。
作者Luca Cardelli
Digital Equipment Corporation
Systems Research Center
2021-07-31 12:29:00
301KB
1