Travelled to:1 × Croatia
1 × Denmark
Collaborated with:H.P.Steele M.Hyland
Talks about:construct (1) sequenti (1) function (1) multipl (1) complet (1) realiz (1) linear (1) model (1) logic (1) graph (1)
Person: Andrea Schalk
DBLP: Schalk:Andrea
Contributed to:
20122002Wrote 2 papers:
- LICS-2012-SchalkS #linear #logic #modelling #multi
- Constructing Fully Complete Models for Multiplicative Linear Logic (AS, HPS), pp. 571–580.
- LICS-2002-HylandS #game studies #graph
- Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.