Paul Blain Levy
Orcid: 0000000308641876Affiliations:
 University of Birmingham, UK
According to our database^{1},
Paul Blain Levy
authored at least 42 papers
between 1999 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on andrej.com
On csauthors.net:
Bibliography
2022
ACM SIGLOG News, 2022
2021
J. Log. Comput., 2021
2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
Log. Methods Comput. Sci., 2018
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies.
Proceedings of the ThirtyFourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the Foundations of Software Science and Computation Structures, 2018
2017
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).
CoRR, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
Proceedings of the Thirtysecond Conference on the Mathematical Foundations of Programming Semantics, 2016
CoRR, 2016
2015
On Final Coalgebras of PowerSet Functors and Saturated Trees  To George Janelidze on the Occasion of His Sixtieth Birthday.
Appl. Categorical Struct., 2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015
2014
Proceedings of the Joint Meeting of the TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the 40th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2013
2012
Math. Struct. Comput. Sci., 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
2011
Proceedings of the Twentyseventh Conference on the Mathematical Foundations of Programming Semantics, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
2010
Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010
Proceedings of the Modelling, Controlling and Reasoning About State, 29.08.  03.09.2010, 2010
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010
2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
Proceedings of the TwentyThird Annual IEEE Symposium on Logic in Computer Science, 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
High. Order Symb. Comput., 2006
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
2004
CallByPushValue: A Functional/Imperative Synthesis
Semantics Structures in Computation 2, Springer, ISBN: 1402017308, 2004
2003
Inf. Comput., 2003
2002
Proceedings of the Category Theory and Computer Science, 2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
PhD thesis, 2001
1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999