dblp.uni-trier.dewww.uni-trier.de

Andrea Schalk

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
9 Andrea Schalk: Concrete data structures as games. GALOP 2005: 76
8EEAndrea Schalk, José Juan Palacios Pérez: Concrete Data Structures as Games. Electr. Notes Theor. Comput. Sci. 122: 193-210 (2005)
2004
7EEAndrea 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
5EEMartin Hyland, Andrea Schalk: Games on Graphs and Sequentially Realizable Functionals. LICS 2002: 257-264
2001
4EEAnna Ingólfsdóttir, Andrea Schalk: A fully abstract denotational model for observational precongruence. Theor. Comput. Sci. 254(1-2): 35-61 (2001)
1999
3EEMartin Hyland, Andrea Schalk: Abstract Games for Linear Logic. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
2EEValeria 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

Coauthor Index

1Martin Hyland (J. M. E. Hyland) [3] [5] [6]
2Anna Ingólfsdóttir [1] [4]
3Valeria de Paiva [2] [7]
4José Juan Palacios Pérez [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)