BibSonomy :: user :: ip ::

tag user group author concept BibTeX key search:all search:ip

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password:	login · register

bookmarks

bookmarks per page: 5 10 20 50 100

publications

(1)

BibTeX

RDF

other export options

<< < 1 > >>

Program Morphisms
C. T. P. Burton Formal Aspects of Computing(1992)
to parallel category definition recursive functional theory transformation by ip and 1 other person on Nov 21, 2007, 11:43 AM
BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100