Travelled to:1 × Finland
1 × Italy
1 × Poland
1 × United Kingdom
Collaborated with:∅ P.J.Scott
Talks about:interact (2) geometri (2) model (2) type (2) exponenti (1) categori (1) partial (1) complet (1) categor (1) toward (1)
Person: Esfandiar Haghverdi
DBLP: Haghverdi:Esfandiar
Contributed to:
2006
20052004
2001Wrote 4 papers:
- ICALP-v2-2006-Haghverdi #exponential
- Typed GoI for Exponentials (EH), pp. 384–395.
- CSL-2005-HaghverdiS #geometry #interactive #towards
- Towards a Typed Geometry of Interaction (EH, PJS), pp. 216–231.
- ICALP-2004-HaghverdiS #category theory #geometry #interactive
- A Categorical Model for the Geometry of Interaction (EH, PJS), pp. 708–720.
- TLCA-2001-Haghverdi #category theory #linear #logic #modelling
- Partially Additive Categories and Fully Complete Models of Linear Logic (EH), pp. 197–216.