CATEGORIES OF PARTIAL MAPS

被引:79
作者
ROBINSON, E
ROSOLINI, G
机构
关键词
D O I
10.1016/0890-5401(88)90034-X
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:95 / 130
页数:36
相关论文
共 19 条
[1]  
ASPERTI A, 1986, S785 U PIS DIP INF N
[2]  
BENABOU J, 1973, LECTURES NOTES MATH, V47, P1
[3]  
Booth P. I., 1978, TOPOL APPL, V8, P181
[4]  
CARBONI A, 1986, IN PRESS CAHIERS TOP
[5]  
CURIEN PL, 1986, PARTIALITY CARTESIAN
[6]  
DIPAOLA RA, 1987, J SYMBOLIC LOGIC, V52, P594, DOI 10.2307/2274352
[7]  
FREYD PJ, 1974, ALLEGORIES
[8]  
HOEHNE HJ, 1977, LECT NOTES COMPUTER, V56, P260
[9]  
HOEHNKE HJ, 1977, C MATH SOC JANOS BOL, V29, P373
[10]  
Johnstone P.T., 1977, TOPOS THEORY