Others have used HOS to formalize the semantics of linguistic quantifiers. and to formalize the design of reliable real-time embedded systems Hamilton left the company, HOS, in 1985.
Інші використовували HOS для формалізації семантики лінгвістичних квантифікаторів та формалізації дизайну надійних вбудованих систем реального часу Гамільтон покинула компанію HOS в 1985 році.