( en | de | ru )

 

Disambiguation of "Haghverdi, Esfandiar"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a typed Geometry of Interaction.

, and . Math. Struct. Comput. Sci., 20 (3): 473-521 (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

Asadollah Haghverdi

Esfandiar Tadayon

Esfandiar Khorsandian

Esfandiar Shahrestani

Esfandiar Tabari

 

Other publications of authors with the same name

Towards a Typed Geometry of Interaction., and . CSL, volume 3634 of Lecture Notes in Computer Science, page 216-231. Springer, (2005)Geometry of Interaction and Linear Combinatory Algebras., , and . Math. Struct. Comput. Sci., 12 (5): 625-665 (2002)Verification by consecutive projections., and . FORTE, volume C-10 of IFIP Transactions, page 465-478. North-Holland, (1992)Proofs as Polynomials., and . MFPS, volume 218 of Electronic Notes in Theoretical Computer Science, page 53-72. Elsevier, (2008)A categorical model for the geometry of interaction., and . Theor. Comput. Sci., 350 (2-3): 252-274 (2006)Submodule construction from concurrent system specifications., and . Inf. Softw. Technol., 41 (8): 499-506 (1999)Unique decomposition categories, Geometry of Interaction and combinatory logic.. Math. Struct. Comput. Sci., 10 (2): 205-230 (2000)Typed GoI for Exponentials.. ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 384-395. Springer, (2006)From Geometry of Interaction to Denotational Semantics., and . CTCS, volume 122 of Electronic Notes in Theoretical Computer Science, page 67-87. Elsevier, (2004)Bisimulation Relations for Dynamical and Control Systems., , and . CTCS, volume 69 of Electronic Notes in Theoretical Computer Science, page 120-136. Elsevier, (2002)