共 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