13 Publications
2016
Bernstein trace
Haghverdi, Esfandiar
SpringerPlus, vol. 5, (no. 1), pp. 12, 20161200. | Journal Article
 
Bernstein trace.
Haghverdi, Esfandiar
SpringerPlus, vol. 5, (no. 1), pp. 703, 2016. | Journal Article
2011
Towards a geometry of recursion
Haghverdi, Esfandiar
Theoretical Computer Science, vol. 412, (no. 20), pp. 2015-2028, 2011. | Journal Article
2010
Towards a typed Geometry of Interaction
Haghverdi, Esfandiar and Scott, Philip J
Mathematical Structures in Computer Science, vol. 20, (no. 3), pp. 473-521, Jun 2010. | Journal Article
2008
Proofs as Polynomials
Haghverdi, Esfandiar and Scott, Philip J
Electronic Notes in Theoretical Computer Science, vol. 218, pp. 72, 2008-10-22. | Journal Article
2007
A categorical model for the geometry of interaction
Haghverdi, Esfandiar and Scott, Philip J
Theoretical Computer Science, vol. 350, (no. 2-3), pp. 252-274, 2007. | Journal Article
2005
Bisimulation relations for dynamical, control, and hybrid systems
Haghverdi, Esfandiar⋅Tabuada, Paulo and Pappas, George J
Theoretical Computer Science, vol. 342, (no. 2-3), pp. 229-261, 2005. | Journal Article
 
From Geometry of Interaction to Denotational Semantics
Haghverdi, Esfandiar and Scott, Philip
Electronic Notes in Theoretical Computer Science, vol. 122, pp. 87, 2005-03-07. | Journal Article
2003
Bisimulation Relations for Dynamical and Control Systems
Haghverdi, Esfandiar⋅Tabuada, Paulo and Pappas, George
Electronic Notes in Theoretical Computer Science, vol. 69, pp. 136, February 2003. | Journal Article
2002
Geometry of Interaction and linear combinatory algebras
Abramsky, Samson⋅Haghverdi, Esfandiar and Scott, Philip J
Mathematical Structures in Computer Science, vol. 12, (no. 5), pp. 625-665, Oct 2002. | Journal Article
2000
A categorical approach to linear logic, geometry of proofs and full completeness (Dissertation)
Haghverdi, Esfandiar (2000).
 
Unique decomposition categories, Geometry of Interaction and combinatory logic
Haghverdi, Esfandiar
Mathematical Structures in Computer Science, vol. 10, (no. 2), pp. 230, 20000401. | Journal Article
1999
Submodule construction from concurrent system specifications
Haghverdi, Esfandiar and Ural, H.
Information and Software Technology, vol. 41, (no. 8), pp. 499-506, Jun 15, 1999. | Journal Article