Esfandiar Haghverdi

According to our database, Esfandiar Haghverdi authored at least 15 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mathematical Foundations of Information Sciences

Esfandiar Haghverdi, Liugen Zhu

WorldScientific, ISBN: 9789811288906, 2024

2011

Towards a geometry of recursion.

Esfandiar Haghverdi

Theor. Comput. Sci., 2011

2010

Towards a typed Geometry of Interaction.

Esfandiar Haghverdi, Philip J. Scott

Math. Struct. Comput. Sci., 2010

2008

Proofs as Polynomials.

Esfandiar Haghverdi, Philip J. Scott

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2006

A categorical model for the geometry of interaction.

Esfandiar Haghverdi, Philip J. Scott

Theor. Comput. Sci., 2006

Typed GoI for Exponentials.

Esfandiar Haghverdi

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Bisimulation relations for dynamical, control, and hybrid systems.

Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas

Theor. Comput. Sci., 2005

2004

From Geometry of Interaction to Denotational Semantics.

Esfandiar Haghverdi, Philip J. Scott

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

2002

Geometry of Interaction and Linear Combinatory Algebras.

Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott

Math. Struct. Comput. Sci., 2002

Bisimulation Relations for Dynamical and Control Systems.

Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas

Proceedings of the Category Theory and Computer Science, 2002

2001

Partially Additive Categories and Fully Complete Models of Linear Logic.

Esfandiar Haghverdi

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Unique decomposition categories, Geometry of Interaction and combinatory logic.

Esfandiar Haghverdi

Math. Struct. Comput. Sci., 2000

1999

Submodule construction from concurrent system specifications.

Esfandiar Haghverdi, Hasan Ural

Inf. Softw. Technol., 1999

1993

A recursive process algebra for queues.

Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Verification by consecutive projections.

Esfandiar Haghverdi, Kemal Inan

Proceedings of the Formal Description Techniques, 1992