From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Pseudo-distributive Laws., , и . MFPS, том 83 из Electronic Notes in Theoretical Computer Science, стр. 227-245. Elsevier, (2003)Wellfounded Trees and Dependent Polynomial Functors., и . TYPES, том 3085 из Lecture Notes in Computer Science, стр. 210-225. Springer, (2003)Combining algebraic effects with continuations., , , и . Theor. Comput. Sci., 375 (1-3): 20-40 (2007)Symmetric Monoidal Sketches and Categories of Wirings., и . CMCIM/GETCO@CONCUR, том 100 из Electronic Notes in Theoretical Computer Science, стр. 31-46. Elsevier, (2003)Some reasons for generalising domain theory.. Math. Struct. Comput. Sci., 20 (2): 239-265 (2010)Turing Centenary Conference: How the World Computes., , , и . Ann. Pure Appl. Log., 165 (9): 1353-1354 (2014)The Ackermann Award 2007., , , и . CSL, том 4646 из Lecture Notes in Computer Science, стр. 589-597. Springer, (2007)Designs, Disputes and Strategies., и . CSL, том 2471 из Lecture Notes in Computer Science, стр. 442-457. Springer, (2002)A Term Calculus for Intuitionistic Linear Logic., , , и . TLCA, том 664 из Lecture Notes in Computer Science, стр. 75-90. Springer, (1993)Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly., , , , , , , и . Appl. Categorical Struct., 19 (1): 1-7 (2011)