A. Simpson
发表
A. Simpson,
1992
.
J. Lawson,
M. Escardó,
A. Simpson,
2004
.
Thomas Streicher,
Steven Awodey,
Alex K. Simpson,
2007,
Bulletin of Symbolic Logic.
A. Simpson,
R. E. Møgelberg,
R. E. Møgelberg,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
A. Simpson,
Ingo Battenfeld,
2007
.
A. Simpson,
Ingo Battenfeld,
M. Schröder,
2007
.
A. Simpson,
Alex Simpson,
2014
.
A. Simpson,
1995
.
A. Simpson,
2001
.
A. Simpson,
R. E. Møgelberg,
2009
.
A. Simpson,
Aliaume Lopez,
2018
.
A. Simpson,
M. Mio,
2017
.
A. Simpson,
2011
.
A. Simpson,
2003
.
T. Streicher,
A. Simpson,
C. Butz,
2015
.
A. Simpson,
Ingo Battenfeld,
M. Schröder,
2013
.
A. Simpson,
2006
.
A. Simpson,
Patricia Johann,
2018
.
A. Simpson,
A. Bauer,
Andrej Bauer,
2003
.
A. Simpson,
M. Schröder,
2014
.
A. Simpson,
M. Schröder,
2006,
MFPS.
M. Escardó,
A. Simpson,
2017
.
Alex K. Simpson,
A. Simpson,
1998,
CSL.
James Brotherston,
Alex K. Simpson,
J. Brotherston,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Andrej Bauer,
Alex K. Simpson,
A. Simpson,
2004,
Math. Log. Q..
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2014,
J. Log. Comput..
Alex K. Simpson,
A. Simpson,
1994
.
Fausto Giunchiglia,
Luciano Serafini,
Alex K. Simpson,
1992,
META.
Matthias Schröder,
Alex K. Simpson,
A. Simpson,
2007,
Mathematical Structures in Computer Science.
Alex K. Simpson,
A. Simpson,
2012,
Ann. Pure Appl. Log..
A. Simpson,
2011
.
Matteo Mio,
Alex K. Simpson,
A. Simpson,
2013,
FICS.
Matteo Mio,
Alex Simpson,
A. Simpson,
2013
.
Alex K. Simpson,
A. Simpson,
2017,
FoSSaCS.
James Brotherston,
Alex K. Simpson,
J. Brotherston,
2011,
J. Log. Comput..
Rasmus Ejlers Møgelberg,
Alex Simpson,
Alex Simpson,
2007
.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
A. Simpson,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2012,
Log. Methods Comput. Sci..
Matteo Mio,
Alex K. Simpson,
A. Simpson,
2017,
Fundam. Informaticae.
A. Simpson,
M. Menni,
2002,
Math. Struct. Comput. Sci..
Matías Menni,
Alex K. Simpson,
A. Simpson,
1999,
MFPS.
Matthias Schröder,
Ingo Battenfeld,
Alex Simpson,
2007,
Computation, Meaning, and Logic.
Matthias Schröder,
Alex K. Simpson,
Ingo Battenfeld,
2006,
Mathematical Structures in Computer Science.
J. Lawson,
M. Escardó,
A. Simpson,
2004
.
Andrej Bauer,
Martín Hötzel Escardó,
Alex K. Simpson,
2002,
ICALP.
Alex Simpson,
Ingo Battenfeld,
A. Simpson,
2006
.
A. Simpson,
Alexander Simpson,
2003
.
Alex Simpson,
A. Simpson,
2005,
From sets and types to topology and analysis.
Alex K. Simpson,
John R. Longley,
A. Simpson,
1997,
Mathematical Structures in Computer Science.
A. Simpson,
J. V. Oosten,
2000,
Ann. Pure Appl. Log..
A. Simpson,
Ingo Battenfeld,
2007
.
Giuseppe Rosolini,
Alex Simpson,
A. Simpson,
2004
.
Alex K. Simpson,
A. Simpson,
1998,
MFCS.
A. Simpson,
2022
.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2010,
FoSSaCS.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2009,
CSL.
Martín Hötzel Escardó,
Alex K. Simpson,
M. Escardó,
2014,
RTA-TLCA.
Thomas Streicher,
Alex K. Simpson,
T. Streicher,
2012,
Ann. Pure Appl. Log..
Alex K. Simpson,
A. Simpson,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Gordon D. Plotkin,
Alex K. Simpson,
G. Plotkin,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Alex K. Simpson,
A. Simpson,
1995,
Category Theory and Computer Science.
Gordon Plotkin,
Alex K. Simpson,
G. Plotkin,
1998
.
Alex K. Simpson,
A. Simpson,
Filippo Bonchi,
2017
.
A. Simpson,
1995,
Category Theory and Computer Science.
A. Simpson,
2006
.
A. Simpson,
M. Schröder,
2006,
J. Complex..
Alex K. Simpson,
A. Simpson,
2004,
J. Log. Algebraic Methods Program..
Ulrich Schöpp,
Alex K. Simpson,
A. Simpson,
2002,
FoSSaCS.