English Kappa calculus Cited by user Smitherfield on 01 Jun 2016 In mathematical logic, category theory, and computer science, kappa calculus is a formal system for defining first-order functions.