| |
| 2005 | ||
|---|---|---|
| 9 | Andrea Schalk: Concrete data structures as games. GALOP 2005: 76 | |
| 8 | EE | Andrea Schalk, José Juan Palacios Pérez: Concrete Data Structures as Games. Electr. Notes Theor. Comput. Sci. 122: 193-210 (2005) |
| 2004 | ||
| 7 | EE | Andrea Schalk, Valeria de Paiva: Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. 315(1): 83-107 (2004) |
| 2003 | ||
| 6 | Martin Hyland, Andrea Schalk: Glueing and orthogonality for models of linear logic. Theor. Comput. Sci. 294(1/2): 183-231 (2003) | |
| 2002 | ||
| 5 | EE | Martin Hyland, Andrea Schalk: Games on Graphs and Sequentially Realizable Functionals. LICS 2002: 257-264 |
| 2001 | ||
| 4 | EE | Anna Ingólfsdóttir, Andrea Schalk: A fully abstract denotational model for observational precongruence. Theor. Comput. Sci. 254(1-2): 35-61 (2001) |
| 1999 | ||
| 3 | EE | Martin Hyland, Andrea Schalk: Abstract Games for Linear Logic. Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1998 | ||
| 2 | EE | Valeria de Paiva, Andrea Schalk: Building Models of Linear Logic. AMAST 1998: 164-177 |
| 1995 | ||
| 1 | Anna Ingólfsdóttir, Andrea Schalk: A Fully Abstract Denotational Model for Observational Precongruence. CSL 1995: 335-361 | |
| 1 | Martin Hyland (J. M. E. Hyland) | [3] [5] [6] |
| 2 | Anna Ingólfsdóttir | [1] [4] |
| 3 | Valeria de Paiva | [2] [7] |
| 4 | José Juan Palacios Pérez | [8] |