%0 Unpublished Work %1 Haxthausen98a %A Haxthausen, Anne %A Krieg-Brückner, Bernd %A Mossakowski., Till %D 1998 %K CASL higher-order semantics %T Subsorted partial higher-order logic as an extension of CASL %U http://www.informatik.uni-bremen.de/cofi/old/Notes/L-10/index.html %X 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.

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