Original language | English |
---|---|
Title of host publication | Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004) |
Pages | 211-228 |
DOIs | |
Publication status | Published - 2005 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Volume | 122 |
ISSN (Print) | 1571-0061 |