Title: Semantics and logic of higher-order processes