SUO: 14 Jun 2002 -- Categories & Logic
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Categories & Logic
An integrated approach to category theory and logic:
Lambek & Scott, 'Higher Order Categorical Logic'
01. http://suo.ieee.org/ontology/msg03373.html
02. http://suo.ieee.org/ontology/msg03375.html
03. http://suo.ieee.org/ontology/msg03376.html
04. http://suo.ieee.org/ontology/msg03377.html
05. http://suo.ieee.org/ontology/msg03378.html
06. http://suo.ieee.org/ontology/msg03381.html
07. http://suo.ieee.org/ontology/msg03383.html
08. http://suo.ieee.org/ontology/msg03384.html
09. http://suo.ieee.org/ontology/msg03392.html
10. http://suo.ieee.org/ontology/msg03393.html
11. http://suo.ieee.org/ontology/msg03394.html
12. http://suo.ieee.org/ontology/msg03395.html
13. http://suo.ieee.org/ontology/msg03396.html
14. http://suo.ieee.org/ontology/msg03398.html
15. http://suo.ieee.org/ontology/msg03399.html
16. http://suo.ieee.org/ontology/msg03400.html
17. http://suo.ieee.org/ontology/msg03401.html
18. http://suo.ieee.org/ontology/msg03402.html
19. http://suo.ieee.org/ontology/msg03403.html
20. http://suo.ieee.org/ontology/msg03404.html
21. http://suo.ieee.org/ontology/msg03405.html
22. http://suo.ieee.org/ontology/msg03406.html
23. http://suo.ieee.org/ontology/msg03409.html
24. http://suo.ieee.org/ontology/msg03410.html
25. http://suo.ieee.org/ontology/msg03411.html
26. http://suo.ieee.org/ontology/msg03412.html
27. http://suo.ieee.org/ontology/msg03415.html
28. http://suo.ieee.org/ontology/msg03416.html
29. http://suo.ieee.org/ontology/msg03417.html
30. http://suo.ieee.org/ontology/msg03418.html
| Lambek, J. & Scott, P.J.,
|'Introduction To Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
|
| http://uk.cambridge.org/mathematics/catalogue/0521356539/
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤