Proof — ML and π-calculus
Statement
ML type inference; CCS; π-calculus. Proved in ZFC.
Source
ACM Turing Award 1991. ML type inference; CCS; π-calculus. Proved in ZFC.
Domains
computer-science
ML type inference; CCS; π-calculus. Proved in ZFC.
ACM Turing Award 1991. ML type inference; CCS; π-calculus. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/milner-turing-1991/