English Pattern calculus Cited by user RDBrown on 03 Sep 2022 Pattern calculus bases all computation on pattern matching of a very general kind. Like lambda calculus, it supports auniform treatment of function evaluation.