@Misc{R38,
  key    =       {R38},
  author = 	 {Christoph E. Benzm{\"u}ller and Chad E. Brown},
  title = 	 {Semantics of Higher-Order Logic},
  note = 	 {18th European Summer School in Logic, Language and Information (ESSLLI'06)},
  address = {, Malaga, Spain},
  year =	 2006,
  pages =        {1-50},
  url =		 {www.ags.uni-sb.de/~chris/papers/R38.pdf}
}