is switch-like functionality used in many functional programming languages.

History

In his 1952 text Introduction to Metamathematics, Stephen Kleene formally proves that the case function (the if-then-else function being its simplest form) is a primitive recursive function, where he defines the notion "definition by cases" in the following manner:

Kleene provides a proof of this

1.Previous
3.Next