J. Cockett
发表
R. Seely,
J. Cockett,
M. Barr,
1997
.
J. Robin B. Cockett,
Stephen Lack,
J. Cockett,
2007,
Mathematical Structures in Computer Science.
J. Robin B. Cockett,
Cole Comfort,
Priyaa V. Srinivasan,
2017,
QPL.
J. Robin B. Cockett,
Jonathan Gallagher,
J. Cockett,
2019,
Mathematical Structures in Computer Science.
Richard Blute,
R. A. G. Seely,
J. R. B. Cockett,
2009
.
R. Seely,
J. Cockett,
2001
.
J. Robin B. Cockett,
Luigi Santocanale,
J. Cockett,
2009,
ArXiv.
R. Blute,
R. Seely,
J. Cockett,
1996
.
J. Cockett,
S. Lack,
2006,
math/0610500.
J. Cockett,
2010
.
J. Cockett,
Cole Comfort,
2019
.
J. Cockett,
G. Cruttwell,
2015
.
Pieter J. W. Hofstra,
J. Cockett,
2006
.
J. Cockett,
C. Pastro,
2004,
CTCS.
J. Cockett,
S. Lack,
Stephen Lack,
2006,
Mathematical Structures in Computer Science.
J. Robin B. Cockett,
Ernie Manes,
E. Manes,
2009,
Mathematical Structures in Computer Science.
J. Robin B. Cockett,
David A. Spooner,
J. Cockett,
1994,
CONCUR.
Pieter J. W. Hofstra,
Pieter Hofstra,
J. R. B. Cockett,
2012
.
J. Robin B. Cockett,
Stephen Lack,
J. Cockett,
2003,
Theor. Comput. Sci..
J. Robin B. Cockett,
Stephen Lack,
J. Cockett,
2002,
Theor. Comput. Sci..
Cole Comfort,
Robin Cockett,
Priyaa Srinivasan,
2018,
Log. Methods Comput. Sci..
J. Robin B. Cockett,
R. A. G. Seely,
Jürgen Koslowski,
2000,
Mathematical Structures in Computer Science.
J. Robin B. Cockett,
Gordon D. Plotkin,
Jean-Simon Pacaud Lemay,
2019,
CSL.
R. A. G. Seely,
J. R. B. Cockett,
R. Seely,
1997
.
J. Robin B. Cockett,
Cole Comfort,
J. Cockett,
2018,
QPL.
J. Robin B. Cockett,
Geoff S. H. Cruttwell,
J. Cockett,
2014,
Appl. Categorical Struct..
J. Robin B. Cockett,
Jean-Simon Pacaud Lemay,
Rory B. B. Lucyshyn-Wright,
2019,
CSL.
J. Robin B. Cockett,
Richard Blute,
Marc Bagnol,
2016,
MFPS.
J.R.B. Cockett,
G.S.H. Cruttwell,
J. Cockett,
2012,
1208.4068.
Timothy Porter,
Richard Blute,
R. A. G. Seely,
2010
.
J. Cockett,
P. Srinivasan,
2021,
Electronic Proceedings in Theoretical Computer Science.
J. Cockett,
P. Srinivasan,
Robin Cockett,
2019,
ArXiv.
Richard Blute,
R. A. G. Seely,
J. R. B. Cockett,
2000
.
J. Robin B. Cockett,
Richard Blute,
R. A. G. Seely,
2006,
Mathematical Structures in Computer Science.
J. Robin B. Cockett,
Pieter J. W. Hofstra,
J. Cockett,
2008,
Ann. Pure Appl. Log..
J. Robin B. Cockett,
David A. Spooner,
J. Cockett,
1997,
Theor. Comput. Sci..
J. Robin B. Cockett,
Philip J. Scott,
Pierre-Alain Jacqmin,
2018,
MFPS.
J. Robin B. Cockett,
Richard Garner,
J. Cockett,
2012,
Theor. Comput. Sci..
R. A. G. Seely,
J. R. B. Cockett,
R. Seely,
2007
.
J. Robin B. Cockett,
Luigi Santocanale,
J. Cockett,
2003,
CTCS.
J. Robin B. Cockett,
Jonathan Gallagher,
J. Cockett,
2016,
MFPS.
J. Robin B. Cockett,
R. A. G. Seely,
R. Seely,
2000
.
J. Robin B. Cockett,
J. Cockett,
1993,
Mathematical Structures in Computer Science.
R. Seely,
J. Cockett,
1991
.
J. Robin B. Cockett,
Richard Blute,
R. A. G. Seely,
1996,
Mathematical Structures in Computer Science.
J. Robin B. Cockett,
Pavel Hrubes,
Jonathan Gallagher,
2012,
MFPS.
J. Robin B. Cockett,
Jean-Simon Lemay,
J. Cockett,
2017,
Mathematical Structures in Computer Science.
J. Cockett,
J. Lemay,
2021
.
Masahito Hasegawa,
R. A. G. Seely,
R. Seely,
2006
.