@Bibtex-file{Theory/realizability.bib,
  title =        "Bibliography on Realizability",
  author =       "Lars Birkedal",
  email =        "birkedal@itu.dk",
  address =      "The IT University of Copenhagen\\ Denmark",
  readme =       "This bibliography on realizability has been
                 established in connection with the
                 \htmladdnormallink{Workshop on Realizability Semantics
                 and Applications}
                 {http://www.cs.cmu.edu/afs/cs/user/birkedal/www/realizability-workshop/}
                 1999 in Trento, Italy. Additions and corrections are
                 very welcome. Please email them to Lars Birkedal
                 (birkedal@itu.dk).",
  keywords =     "realizability semantics",
}