Paul Taylor

发表

Paul Taylor, P. Taylor, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

Paul Taylor, P. Taylor, 2005, Log. Methods Comput. Sci..

Jian S. Dai, Paul Taylor, Honghai Liu, 2004 .

Paul Taylor, P. Taylor, 2010, J. Log. Anal..

Paul Taylor, P. Taylor, 1989, Category Theory and Computer Science.

Paul Taylor, Deborah Greaves, J Westphalen, 2008 .

Paul Taylor, David Boutte, Allan Hunt, 2015, Defense + Security Symposium.

Paul Taylor, Helen Wright, P. Taylor, 1997 .

Paul Taylor, Peter Stansby, Richard Soulsby, 2012 .

Paul Taylor, Patrick Gill, Geoffrey P. Barwood, 2001, SPIE LASE.

Paul Taylor, Ben Heller, 2002 .

Paul Taylor, P. Taylor, 1996, Journal of Symbolic Logic.

Andrej Bauer, Paul Taylor, P. Taylor, 2009, Mathematical Structures in Computer Science.

Paul Taylor, P. Taylor, 2006 .

Paul Taylor, P. Taylor, 2011 .