Thierry Coquand - 类型论,从罗素到证明助手

猜你喜欢
返回顶部