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.

 

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

Towards a Typed Geometry of Interaction., и . CSL, том 3634 из Lecture Notes in Computer Science, стр. 216-231. Springer, (2005)Typed GoI for Exponentials.. ICALP (2), том 4052 из Lecture Notes in Computer Science, стр. 384-395. Springer, (2006)Bisimulation Relations for Dynamical and Control Systems., , и . CTCS, том 69 из Electronic Notes in Theoretical Computer Science, стр. 120-136. Elsevier, (2002)A categorical model for the geometry of interaction., и . Theor. Comput. Sci., 350 (2-3): 252-274 (2006)Submodule construction from concurrent system specifications., и . Inf. Softw. Technol., 41 (8): 499-506 (1999)Verification by consecutive projections., и . FORTE, том C-10 из IFIP Transactions, стр. 465-478. North-Holland, (1992)A recursive process algebra for queues., , , и . FORTE, том C-22 из IFIP Transactions, стр. 285-300. North-Holland, (1993)Towards a typed Geometry of Interaction., и . Math. Struct. Comput. Sci., 20 (3): 473-521 (2010)A Categorical Model for the Geometry of Interaction., и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 708-720. Springer, (2004)Partially Additive Categories and Fully Complete Models of Linear Logic.. TLCA, том 2044 из Lecture Notes in Computer Science, стр. 197-216. Springer, (2001)