Minimal invariant spaces in formal topology

被引:3
|
作者
Coquand, T
机构
[1] Department of Computer Science, Chalmers University
关键词
D O I
10.2307/2275567
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
[No abstract available]
引用
收藏
页码:689 / 698
页数:10
相关论文
共 50 条