Travelled to:1 × Finland
1 × France
Collaborated with:D.J.Pym ∅
Talks about:interact (1) geometri (1) varieti (1) classic (1) effect (1) logic (1)
Person: Carsten Führmann
DBLP: F=uuml=hrmann:Carsten
Contributed to:
2004
2002Wrote 2 papers:
- LICS-2004-FuhrmannP #geometry #interactive #logic #on the
- On the Geometry of Interaction for Classical Logic (CF, DJP), pp. 211–220.
- FoSSaCS-2002-Fuhrmann
- Varieties of Effects (CF), pp. 144–158.