Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Haghverdi, Esfandiar - Department of Mathematics & School of Informatics, Indiana University
A CATEGORICAL APPROACH TO LINEAR LOGIC, GEOMETRY OF PROOFS AND FULL COMPLETENESS
Submodule construction from concurrent system specifications E. Haghverdi, H. Ural*
Submodule Construction Using Derivatives \Lambda Esfandiar Haghverdi and Hasan Ural
Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction and Linear
Towards a Typed Geometry of Interaction Esfandiar Haghverdi1
CTCS 2004 Preliminary Version From Geometry of Interaction to Denotational
A Categorical Model for the Geometry of Interaction
Unifying bisimulation relations for discrete and continuous systems
A Categorical Model for the Geometry of Interaction
Geometry of Interaction and the Dynamics of Proof Reduction: a tutorial
Proofs as Polynomials Esfandiar Haghverdi2
Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 17 pages