# John Longley

According to our database

Collaborative distances:

^{1}, John Longley authored at least 16 papers between 1997 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2020

Proc. ACM Program. Lang., 2020

2019

Comput., 2019

2018

Log. Methods Comput. Sci., 2018

CoRR, 2018

2015

Theory and Applications of Computability, Springer, ISBN: 978-3-662-47992-6, 2015

2014

Math. Struct. Comput. Sci., 2014

2009

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

2008

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Math. Struct. Comput. Sci., 2007

2004

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2002

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

Ann. Pure Appl. Log., 2002

2000

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

Proceedings of the Workshop on Domains IV 1998, 1998

1997

J. Autom. Reason., 1997