@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
}