Exponential objects and Cartesian closedness in the constructPrtop
Keyword(s):
1976 ◽
Vol 15
(3)
◽
pp. 461-465
◽
Keyword(s):
1985 ◽
Vol 8
(1)
◽
pp. 63-78
◽
Keyword(s):
Keyword(s):
1989 ◽
Vol 80
(1)
◽
pp. 50-95
◽
Keyword(s):
1975 ◽
Vol 27
(6)
◽
pp. 1361-1377
◽
Keyword(s):
1985 ◽
Vol 8
(4)
◽
pp. 361-379
◽
Keyword(s):