@unpublished{Haxthausen98a,
  abstract = {CASL is a specification language combining first-order logic, partiality and subsorting. This paper generalizes the CASL logic to higher-order functions and predicates. The logic is presented in a modular step-by-step reduction. Several possible design alternatives are discussed in the light of the need to get a faithful embedding of first-order CASL into higher-order CASL.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Haxthausen, Anne and Krieg-Br{\"u}ckner, Bernd and Mossakowski., Till},
  biburl = {https://www.bibsonomy.org/bibtex/26ff24968592c591bc168e5e729b5ded2/tillmo},
  interhash = {77e2617188d7c8a78b0b0007833bd9d1},
  intrahash = {6ff24968592c591bc168e5e729b5ded2},
  keywords = {CASL higher-order semantics},
  note = {CoFI note L-10},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Subsorted partial higher-order logic as an extension of CASL},
  url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/L-10/index.html},
  year = 1998
}