P. Levy
发表
P. Levy,
1956
.
Umut A. Acar,
P. Levy,
J. Cheney,
2012
.
P. Levy,
1951
.
John Power,
Gordon Plotkin,
Martin Hyland,
2004
.
P. Levy,
2019,
1905.02718.
P. Levy,
B. Gross,
Mark Reeder,
2012,
1307.5765.
University of Birmingham Effectful Applicative Bisimilarity: Monads, Relators, and the Howe's Method
Ugo Dal Lago,
P. Levy,
Francesco Gavazzo,
2017
.
Bart Jacobs,
Jurriaan Rot,
Paul Blain Levy,
2018,
CMCS.
P. Levy,
G. Plotkin,
M. Hyland,
2007
.
P. Levy,
G. Plotkin,
M. Hyland,
2018
.
P. Levy,
Eijiro Sumii,
Vasileios Koutavas,
2011
.
P. Levy,
2006
.
P. Levy,
2018,
1801.08528.
P. Levy,
L. Moss,
J. Adámek,
2014,
Applied Categorical Structures.
Paul Blain Levy,
P. Levy,
2011,
FoSSaCS.
Paul Blain Levy,
P. Levy,
1999,
TLCA.
Sam Staton,
Paul Blain Levy,
P. Levy,
2014,
CSL-LICS.
Paul Blain Levy,
Søren B. Lassen,
P. Levy,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Paul Blain Levy,
Søren B. Lassen,
P. Levy,
2007,
CSL.
Hayo Thielecke,
John Power,
Paul Blain Levy,
2003,
Inf. Comput..
P. Levy,
2006,
math/0610490.
Luca Aceto,
Anna Ingólfsdóttir,
Joshua Sack,
2009,
Mathematical Structures in Computer Science.
P. Levy,
Ralf Kohl,
Guntram Hainke,
2011,
1110.5576.
P. Levy,
R. Köhl,
Guntram Hainke,
2011
.
P. Levy,
R. Köhl,
Guntram Hainke,
2015
.
Paul Blain Levy,
P. Levy,
2003,
CTCS.
Paul Blain Levy,
P. Levy,
2022,
ACM SIGLOG News.
P. Levy,
2021,
Philosophia Mathematica.
P. Levy,
Baohua Fu,
D. Juteau,
2015,
1502.05770.
P. Levy,
D. Testerman,
George J. McNinch,
2009
.
P. Levy,
2005,
math/0501334.
P. Levy,
2013
.
Paul Blain Levy,
P. Levy,
2010,
FICS.
P. Levy,
Paul Lévy,
1953
.
James Cheney,
Umut A. Acar,
Roly Perera,
2012,
ICFP.
Paul Blain Levy,
P. Levy,
2006,
High. Order Symb. Comput..
Paul Blain Levy,
P. Levy,
2003,
Semantics Structures in Computation.
Gordon D. Plotkin,
John Power,
Martin Hyland,
2007,
Theor. Comput. Sci..
Paul Blain Levy,
P. Levy,
2015,
CALCO.
Jirí Adámek,
Stefan Milius,
Lawrence S. Moss,
2015,
Appl. Categorical Struct..
P. Levy,
2008,
0805.2064.
P. Levy,
2007,
0712.1725.
P. Levy,
2005
.
Thorsten Altenkirch,
Sam Staton,
Paul Blain Levy,
2010,
CiE.
P. Levy,
D. Testerman,
Nicolas Hemelsoet,
2018
.
Ohad Kammar,
Sam Staton,
Paul Blain Levy,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Paul Blain Levy,
P. Levy,
2006,
Ann. Pure Appl. Log..
Ugo Dal Lago,
Francesco Gavazzo,
Paul Blain Levy,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
P. Levy,
2021
.
Bart Jacobs,
Jurriaan Rot,
Paul Levy,
2018,
CMCS.
P. Levy,
2021,
2101.01698.
Paul Blain Levy,
P. Levy,
2002,
CSL.
Sam Staton,
Paul Blain Levy,
P. Levy,
2013,
POPL.