multicalculus

A formal system of reasoning involving multiple domains under a well-defined logic.

Lambda Calculus is a form of multicalculus since it uses other logic systems to perform calculations.

by YJCM February 16, 2024