links

[nef@tunes.org]

sets calculus         @ http://beta.di.uminho.pt/~jno/html/setshp.html
categorical rewriting @ http://www.mcs.le.ac.uk/~nghani/catrew.html
categorical semantics @ http://www.disi.unige.it/research/Categorical_semantics/
descartes             @ http://www.swiss.ai.mit.edu/~ziggy/descartes.html
joy                   @ http://www.latrobe.edu.au/www/philosophy/phimvt/j00syn.html
meta machine          @ http://homepages.paradise.net.nz/~tonybeve/mm/The%20Meta%20Machine.htm
papers                @ http://link.springer.de/link/service/series/0558/tocs/t1443.htm
papers                @ http://www-sop.inria.fr/dias/rapports/mpi/abstracts.html
papers                @ http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/95/
papers                @ http://www.mpi-sb.mpg.de/~ohlbach/publications/reports/abstracts.html
reinventing computing @ http://www.ai.mit.edu/projects/transit/rc_home_page.html