Sort by
Refine Your Search
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
Searches related to semantic
Enter an email to receive alerts for semantic positions