https://123deta.com/document/qvvj8k1q-typing-systems-polyadic-pi-calculus-concurrency-theory-applications.html