Notice how patterns are used to distinguish the empty and non-empty cases ... At one stage we may produce a solution to some problem while ignoring how the ...
Alan Turing: (1936/7) invented a class of machines (later to be called Turing ... If t is an abstraction ?x.s, then by the inductive hypothesis FV (s) is finite. ...