Esfandiar Haghverdi

Publication Activity (10 Years)

Years Active: 1992-2011
Publications (10 Years): 0

Publications

Esfandiar Haghverdi
Towards a geometry of recursion. Theor. Comput. Sci. 412 (20) (2011)
Esfandiar Haghverdi, Philip J. Scott
Towards a typed Geometry of Interaction. Math. Struct. Comput. Sci. 20 (3) (2010)
Esfandiar Haghverdi, Philip J. Scott
Proofs as Polynomials. MFPS (2008)
Esfandiar Haghverdi, Philip J. Scott
A categorical model for the geometry of interaction. Theor. Comput. Sci. 350 (2-3) (2006)
Esfandiar Haghverdi
Typed GoI for Exponentials. ICALP (2) (2006)
Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342 (2-3) (2005)
Esfandiar Haghverdi, Philip J. Scott
Towards a Typed Geometry of Interaction. CSL (2005)
Esfandiar Haghverdi, Philip J. Scott
A Categorical Model for the Geometry of Interaction. ICALP (2004)
Esfandiar Haghverdi, Philip J. Scott
From Geometry of Interaction to Denotational Semantics. CTCS (2004)
Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott
Geometry of Interaction and Linear Combinatory Algebras. Math. Struct. Comput. Sci. 12 (5) (2002)
Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
Bisimulation Relations for Dynamical and Control Systems. CTCS (2002)
Esfandiar Haghverdi
Partially Additive Categories and Fully Complete Models of Linear Logic. TLCA (2001)
Esfandiar Haghverdi
Unique decomposition categories, Geometry of Interaction and combinatory logic. Math. Struct. Comput. Sci. 10 (2) (2000)
Esfandiar Haghverdi, Hasan Ural
Submodule construction from concurrent system specifications. Inf. Softw. Technol. 41 (8) (1999)
Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan
A recursive process algebra for queues. FORTE (1993)
Esfandiar Haghverdi, Kemal Inan
Verification by consecutive projections. FORTE (1992)