文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Per Martin-Löf
发表
An intuitionistic theory of types
Per Martin-Löf, P. Martin-Löf, 1972 .
The Definition of Random Sequences
Per Martin-Löf, P. Martin-Löf, 1966, Inf. Control..