@inproceedings{4f8660c9bf9841f5a566b2ff92786ec0,

title = "Partial interpretations of higher order algebraic types",

abstract = "The theory of algebraic abstract types specified by conditional equations is extended to types with “nonstrict” operations, partial and even infinite objects based on the concept of partial interpretations. Models of such types are studied where all explicit equations have solutions. Higher order types, i.e. types comprising higher order functions are treated, too. This allows an algebraic (“equational”) specification of algebras including sorts with “infinite” objects and higher order functions (“functionals”).",

author = "Manfred Broy",

note = "Publisher Copyright: {\textcopyright} 1986, Springer-Verlag.; 12th Symposium on Mathematical Foundations of Computer Science, MFCS 1986 ; Conference date: 25-08-1986 Through 29-08-1986",

year = "1986",

doi = "10.1007/BFb0016232",

language = "English",

isbn = "9783540167839",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "29--43",

editor = "Jozef Gruska and Branislav Rovan and Juraj Wiedermann",

booktitle = "Mathematical Foundations of Computer Science 1986 - Proceedings of the 12th Symposium",

}