John Longley

发表

John Longley, J. Longley, 2003 .
Dag Normann, John Longley, 2015 .
John Longley, 2014, Math. Struct. Comput. Sci..
John Longley, Dag Normann, 2015 .
John Longley, J. Longley, 2007, Mathematical Structures in Computer Science.
John Longley, Randy Pollack, 2004, TPHOLs.
Furio Honsell, Donald Sannella, Andrzej Tarlecki, 2000, FoSSaCS.
Dag Normann, John Longley, 2015, Theory and Applications of Computability.
Gordon Plotkin, John Longley, G. Plotkin, 2000 .
John Longley, 2000, Electron. Notes Theor. Comput. Sci..
Dag Normann, John Longley, 2015 .
John Longley, Michael P. Fourman, Simon Finn, 2004, Journal of Automated Reasoning.
John Longley, J. Longley, 2001 .
Dag Normann, John Longley, 2015 .
John Longley, 2002, Ann. Pure Appl. Log..
Sam Lindley, John Longley, Daniel Hillerström, 2020, Proc. ACM Program. Lang..
Dag Normann, John Longley, 2015 .
John Longley, 2018, Log. Methods Comput. Sci..
Sam Lindley, John Longley, Daniel Hillerström, 2020 .
John Longley, J. Longley, 1998, Realizability Semantics and Applications@FLoC.
John Longley, J. Longley, 2004, Workshop on Domains.
Dag Normann, John Longley, 2015 .
John Longley, J. Longley, 2001 .