Coalgebras‚ chu spaces‚ and representations of physical systems
S. Abramsky
Book Title
Logic in Computer Science (LICS)‚ 2010 25th Annual IEEE Symposium on
ISSN
1043−6871
Organisation
IEEE
Pages
411–420
Year
2010
S. Abramsky