共 12 条
[3]
Lambek Joachim, 1989, INTRO HIGHER ORDER C
[4]
Lawvere F. W., 1966, P C CAT ALG SPRING, P1
[5]
Mac Lane S., 1971, AXIOMATIC SET THEORY, V13, P231
[6]
Mac Lane S., 1968, CONT PHILOS SURVEY, VI, P286
[7]
MACLANE S, 1992, GRUNDL KOMM, P3
[9]
MAYBERRY J, 1990, PHILOS MATH, V2, P16