Search ID
www.cs.man.ac.uk
Includes papers on category theory.
URLs from
www.cs.man.ac.uk
:
URL:
http://www.cs.man.ac.uk
/~fellowsd/REF
URL:
http://www.cs.man.ac.uk
/~carole/npearson/npearson.html
URL:
http://www.cs.man.ac.uk
/~neill
URL:
http://www.cs.man.ac.uk
/~chl
URL:
http://www.cs.man.ac.uk
/~fellowsd/tcl
URL:
http://www.cs.man.ac.uk
/~horrocks/ISWC2003/Tutorial
URL:
http://www.cs.man.ac.uk
/~horrocks/Slides/ecai-handout.pdf
URL:
http://www.cs.man.ac.uk
/~david/categories
URL:
http://www.cs.man.ac.uk
/~pt
URL:
http://www.cs.man.ac.uk
/~voronkov/LPAR/2001/lpar2001.html
URL:
http://www.cs.man.ac.uk
/~schmidt/tools
URL:
http://www.cs.man.ac.uk
/~petera
URL:
http://www.cs.man.ac.uk
/~schmidt
URL:
http://www.cs.man.ac.uk
/~rizos/EqualSums
URL:
http://www.cs.man.ac.uk
/~daf/i-p-c-s.org/faq
URL:
http://www.cs.man.ac.uk
/~kung-kiu/lopstr
URL:
http://www.cs.man.ac.uk
/~pt/Practical_Foundations/index.html
Tags:
education
books
ebooks
free
maths
book
ebook
science
online
math
mathematics
toread
philosophy
learning
edu
read
educational
theory
academic
study
textbooks
cs
logic
URL:
http://www.cs.man.ac.uk
/~hsimmons/
Tags:
math
people
cs
logic
categories
lambdacalculus
URL:
http://www.cs.man.ac.uk
/~pjj/cs2121/fix.html
Tags:
programming
notation
postfix
prefix
caml
infix
URL:
http://www.cs.man.ac.uk
/CCS/res/res12.htm#e
Tags:
history
computer
economics
water