J. Power

发表

Gian Luca Cattani, G. Winskel, J. Power, 1998 .
John Power, Gordon Plotkin, Martin Hyland, 2004 .
J. Power, W. Gai, M. Conde, 2017 .
J. Power, Cai Wingfield, G. McCusker, 2015 .
P. Levy, G. Plotkin, M. Hyland, 2007 .
P. Levy, G. Plotkin, M. Hyland, 2018 .
Glynn Winskel, John Power, Gian Luca Cattani, 1998, CONCUR.
G. Winskel, J. Power, BisimulationGian Luca Cattani, 1998 .
G. Plotkin, M. Hyland, J. Power, 2006, Theor. Comput. Sci..
Hayo Thielecke, John Power, Paul Blain Levy, 2003, Inf. Comput..
John Power, Martin Hyland, M. Hyland, 2007, Computation, Meaning, and Logic.
Ekaterina Komendantskaya, John Power, J. Power, 2016, J. Log. Algebraic Methods Program..
John Power, Yoshiki Kinoshita, J. Power, 2000, Acta Informatica.
John Power, Daniele Turi, D. Turi, 1999, CTCS.
Ewen Denney, John Power, Konstantinos Tourlas, 2006, MFPS.
John Power, Konstantinos Tourlas, J. Power, 2003, FoSSaCS.
John Power, Kostas Tourlas, J. Power, 2003, GT-VMT@ICGT.
Stuart Anderson, John Power, Konstantinos Tourlas, 2002, CATS.
John Power, Konstantinos Tourlas, J. Power, 2001, MFPS.
John Power, Konstantinos Tourlas, J. Power, 2001, CSL.
Stuart Anderson, John Power, Konstantinos Tourlas, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
Guy McCusker, Ekaterina Komendantskaya, John Power, 2010, AMAST.
Gordon D. Plotkin, John Power, G. Plotkin, 2002, FoSSaCS.
Edmund Robinson, John Power, J. Power, 1997, Mathematical Structures in Computer Science.
Gordon D. Plotkin, John Power, Martin Hyland, 2007, Theor. Comput. Sci..
Ekaterina Komendantskaya, John Power, J. Power, 2008, JELIA.
John Power, Yoshiki Kinoshita, J. Power, 1996, ELP.
Gordon D. Plotkin, John Power, G. Plotkin, 2003, Appl. Categorical Struct..
Robin Milner, John Power, Alex Mifsud, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
John Power, J. Power, 2006, MFCSIT.
Gordon D. Plotkin, John Power, Martin Hyland, 2006, Theor. Comput. Sci..
John Power, Hiroshi Watanabe, J. Power, 2002, Theor. Comput. Sci..
Gordon D. Plotkin, John Power, G. Plotkin, 2001, FoSSaCS.
Gordon D. Plotkin, John Power, G. Plotkin, 2008, MFPS.
John Power, Olha Shkaravska, O. Shkaravska, 2004, CMCS.
Michael Johnson, John Power, David A. Naumann, 2006, MFCSIT.
Martin Schmidt, Ekaterina Komendantskaya, John Power, 2013, J. Log. Comput..
Christoph Lüth, Neil Ghani, John Power, 2001, CMCS.
John Power, Martin Hyland, M. Hyland, 2002 .
John Power, Martin Hyland, M. Hyland, 2001, CMCS.
Claudio Hermida, John Power, Michael Makkai, 2000 .
Claudio Hermida, John Power, Michael Makkai, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
John Power, J. Power, 1995, Inf. Comput..
Giuseppe Rosolini, John Power, J. Power, 2002, Theor. Comput. Sci..
Giuseppe Rosolini, John Power, Martin Hyland, 2006, MFCSIT.
J. Power, Y. Kinoshita, M. Takeyama, 2020, Algorithms for Big Data.
Richard Garner, John Power, J. Power, 2017, Log. Methods Comput. Sci..
Guy McCusker, John Power, J. Power, 2010, MFPS.
John Power, Koki Nishizawa, J. Power, 2009 .
John Power, Martin Hyland, M. Hyland, 2006, Theor. Comput. Sci..
John Power, J. Power, 2006, Theor. Comput. Sci..
John Power, Miki Tanaka, J. Power, 2006, High. Order Symb. Comput..
John Power, J. Power, 2006, MFPS.
John Power, J. Power, 2005, CALCO.
John Power, J. Power, 2003, MERLIN '03.
John Power, J. Power, 2011 .
John Power, Miki Tanaka, J. Power, 2006, MFCSIT.
John Power, Martin Hyland, Eugenia Cheng, 2003, MFPS.
Gordon D. Plotkin, John Power, Marcelo P. Fiore, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
John Power, J. Power, 2002, Theor. Comput. Sci..
Hayo Thielecke, John Power, Hayo Thielecke, 1999, ICALP.
J. Power, Martin Schmidt, Ekaterina Komendantskaya, 2013, J. Log. Comput..