Esfandiar Haghverdi

According to our database, Esfandiar Haghverdi authored at least 16 papers between 1992 and 2026.

Collaborative distances:

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

2026

A Categorical Approach to Additive Combinatorics.

Saúl A. Blanco, Esfandiar Haghverdi

Appl. Categorical Struct., June, 2026

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

2008

Proofs as Polynomials.

Esfandiar Haghverdi, Philip J. Scott

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

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

Towards a Typed Geometry of Interaction.

Esfandiar Haghverdi, Philip J. Scott

Proceedings of the Computer Science Logic, 19th International Workshop, 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

A Categorical Model for the Geometry of Interaction.

Esfandiar Haghverdi, Philip J. Scott

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 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