@incollection{MossakowskiHaxthausenKriegBrueckner00,
  abstract = {CASL is a specification language combining first-order logic, partiality and subsorting. This paper generalizes the CASL logic to also include higher-order functions and predicates. The logic is presented in a modular step-by-step reduction: the logic is defined in terms of a generalized subsorted partial logic which in turn is defined in terms of many-sorted partial first-order logic. A new notion of homomorphism is introduced to meet the need to get a faithful embedding of first-order CASL into higher-order CASL. Finally, it is discussed how a proof calculus for the proposed logic can be developed. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T. and Haxthausen, A. and Krieg-Br{\"u}ckner, B.},
  biburl = {https://www.bibsonomy.org/bibtex/232f9033fa6fc9e8f90dc1d98d42f58de/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France},
  editor = {Choppy, C. and Bert, D. and Mosses, P.},
  interhash = {98ccc4e0d800867308a5ceefd8451ba0},
  intrahash = {32f9033fa6fc9e8f90dc1d98d42f58de},
  isbn = {3-540-67898-0},
  keywords = {imported},
  pages = {126--145},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/HOCASL.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Subsorted Partial Higher-Order Logic as an Extension of {CASL}},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,6,38;},
  volume = 1827,
  year = 2000
}