J. Laird
发表
James Laird,
J. Laird,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
James Laird,
J. Laird,
2017,
Log. Methods Comput. Sci..
James Laird,
J. Laird,
2006,
FoSSaCS.
James Laird,
J. Laird,
2020,
Inf. Comput..
Giulio Manzonetto,
Michele Pagani,
Guy McCusker,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
James Laird,
J. Laird,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
James David Laird,
J. Laird,
1999
.
Guy McCusker,
James Laird,
Martin Churchill,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
James Laird,
J. Laird,
2001,
MFPS.
J. Laird,
J. Laird,
2017,
Ann. Pure Appl. Log..
James Laird,
J. Laird,
2002,
ESOP.
James Laird,
J. Laird,
2001,
TLCA.
James Laird,
J. Laird,
2020,
FoSSaCS.
James Laird,
J. Laird,
2003,
TLCA.
J. Laird,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).