Introduction to categories and categorical logic
Abramsky, S
Tzevelekos, N
Lecture Notes in Physics
volume 813
3-94
(31 Jan 2011)
Coalgebras, Chu spaces, and representations of physical systems
Abramsky, S
Proceedings - Symposium on Logic in Computer Science
411-420
(01 Jan 2010)
Robin Milner's work on concurrency
Abramsky, S
Electronic Notes in Theoretical Computer Science
volume 265
issue C
5-10
(06 Sep 2010)
Automata vs. logics on data words
Benedikt, M
Ley, C
Puppis, G
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 6247 LNCS
110-124
(20 Sep 2010)
The Compositional Structure of Multipartite Quantum Entanglement
Coecke, B
Kissinger, A
297-308
(2010)
Positive higher-order queries
Benedikt, M
Puppis, G
Vu, H
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
27-38
(23 Jul 2010)
Erratum: The basic leucine zipper transcription factor E4BP4 is essential for natural killer cell development
Gascoyne, D
Long, E
Veiga-Fernandes, H
de Boer, J
Williams, O
Seddon, B
Coles, M
Kioussis, D
Brady, H
Nature Immunology
volume 11
issue 6
543-543
(Jun 2010)
Sexual competitiveness of a transgenic sexing strain of the Mediterranean fruit fly, Ceratitis capitata
Morrison, N
Segura, D
Stainton, K
Fu, G
Donnelly, C
Alphey, L
Entomologia Experimentalis et Applicata
volume 133
issue 2
146-153
(09 Nov 2009)
Preface
Abramsky, S
Mislove, M
Palamidessi, C
Electronic Notes in Theoretical Computer Science
volume 249
1-2
(08 Aug 2009)
Game Semantics for Access Control
Abramsky, S
Jagadeesan, R
Electronic Notes in Theoretical Computer Science
volume 249
135-156
(08 Aug 2009)