Home - Pure_And_Applied_Math - Category Theory |
Page 5 81-100 of 100 Back | 1 | 2 | 3 | 4 | 5 |
81. SUO: Category Theory SUO category theory. Third thought tells me that we probably can't do a goodjob of this without doing a bit of spadework in category theory first. http://suo.ieee.org/email/msg09002.html | |
|
82. Functional Programming Archive (monads And Category Theory) functional programming archive. monads and category theory subject area. KeywordsMonads; category theory; Kleisli triple; Imperative functional programming. http://www.dcs.qmul.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.monads.html | |
|
83. MATHS: Category Theory category theory. Motivation. category theory is a way for talking about the relationshipsbetween the classes of objects modeled by mathematics and logic. http://www.csci.csusb.edu/dick/maths/math_25_Categories.html | |
|
84. Citations: Category Theory For Computing Science - Barr, Wells (ResearchIndex) Barr, M., Wells, C. 1990. category theory for Computing Science. PrenticeHall. category theory for Computing Science. Prentice Hall, 1989. http://citeseer.nj.nec.com/context/1728/0 | |
|
85. Category Theory category theory. I am reminded of a friend's account of his category theory lecturewhich began with, We will now consider the class of 'stuff'. BillTozier. http://c2.com/cgi/wiki?CategoryTheory |
86. Mathematics Online Compendium: Category Theory category theory, homological algebra http//www.math.niu.edu/~rusin/knownmath/index/18-XX.htmlApplied and Computational category theory at RISC-Linz http http://www.dei.unipd.it/~cuzzolin/MOCcategory.html | |
|
87. International Category Theory Meeting International category theory Meeting (CT97), UBC, Vancouver, July1319, 1997. Organizer John MacDonald. One of the founders of http://www.pims.math.ca/activities/exthem97.2.html | |
|
88. Introduction To Category Theory Introduction to category theory. Graham Hutton School of Computer Scienceand IT University of Nottingham. category theory is a mathematical http://www.cs.nott.ac.uk/~gmh/categories.html | |
|
89. TOPOLOGY And CATEGORY THEORY SITES TOPOLOGY and category theory SITES. Topology Atlas Topology Atlas Questionsin Topology Ask a Topologist Bulletin Board Topology Atlas Commentary http://www.csupomona.edu/~hlord/topcat.html | |
|
90. Humanist Archives Vol. 2: "category Theory" And More (22) category theory and more (22). I have held it in my hands long enough to knowthat it contains very much more than a discussion of 'category theory'. http://lists.village.virginia.edu/lists_archive/Humanist/v02/0314.html | |
|
91. Prospects For Category Theory In Aldor Prospects for category theory in Aldor. Saul Youssef, Categorical Programming LanguagesWorkshop, University of Western Ontario, London, Canada, July, 2001. http://nut.bu.edu/~youssef/papers/math/aldor/ | |
|
92. Constructive Category Theory Constructive category theory. See URL http//pauillac.inria.fr/~saibi/ Download(archive compatible with Coq V7.4). Author Amokrane Saïbi. Institution INRIA. http://coq.inria.fr/contribs/category.html | |
|
93. Lambda The Ultimate Category Theory For Non-mathematicians category theory for nonmathematicians. category theory for non-mathematiciansstarted 8/20/01; 14822 PM - last post 8/27/01; 20414 AM. http://lambda.weblogs.com/discuss/msgReader$1696 | |
|
94. Category Theory Bulletin Board category theory Bulletin Board. To types, logic; Subject category theoryBulletin Board; From RROSEBRUGH RROSEBRUGH%MTA.BITNET@mitvma.mit.edu ; http://www.cis.upenn.edu/~bcpierce/types/archives/1990/msg00014.html | |
|
95. Conference On CATEGORY THEORY AND COMPUTER SCIENCE Conference on category theory AND COMPUTER SCIENCE. The main purpose of theseconferences is to link research in category theory with computer science. http://www.cis.upenn.edu/~bcpierce/types/archives/1990/msg00026.html | |
|
96. M584: Category Theory Mathematics 584 category theory. Instructor Jonathan Smith, 496 Carver, 48172(voice mail). e-mail jdhsmithATmathDOTiastateDOTedu (substitute punctuation). http://www.math.iastate.edu/jdhsmith/class/M584F02.htm | |
|
97. Category Theory And Consciousness category theory and consciousness. Matti Pitkänen. Abstract. Goro Katohas proposed an ontology of consciousness relying on category theory. http://www.physics.helsinki.fi/~matpitka/articles/acategory.html | |
|
98. Coherence In Category Theory And The Church-Rosser Property Coherence in category theory and the ChurchRosser Property. C. BarryJay Abstract Szabo's derivation systems on sequent calculi http://www.lfcs.informatics.ed.ac.uk/reports/91/ECS-LFCS-91-181/ | |
|
99. Calgary Peripatetic Research Group On Logic And Category Theory Calgary Peripatetic Research Group on Logic and category theory. Meetingson Logic and category theory to be held in the Philosophy http://pages.cpsc.ucalgary.ca/~danaha/CPRGLCT/CPRGLCT.html | |
|
100. EServer TC Library: Articles>Rhetoric>Theory sort by author, McLeod, Susan H. JAC (1991). Articles Rhetoric theory. http://tc.eserver.org/dir/Articles/Rhetoric/Theory | |
|
Page 5 81-100 of 100 Back | 1 | 2 | 3 | 4 | 5 |