 Haskell Curry was also to play an important role in developments linking logic to computer science which some argue can lend support to formalism in mathematics. His work on combinatory logic along with work of W.A. Howard’s led to the ‘Curry-Howard correspondence’ (‘Curry-Howard’ henceforth written ‘CH’) or ‘CH isomorphism’ linking logic, proof theory and computer science.