Proper noun
Rosser
A surname from Welsh [in turn originating as a patronymic].
Compilation of original papers by Gödel, Church, Kleene, Turing, Rosser, and Post. Source: Internet
Equipped with the λ-calculus and "general" recursion, Stephen Kleene with help of Church and J. Barkley Rosser produced proofs (1933, 1935) to show that the two calculi are equivalent. Source: Internet
Generalization and acceptance Gödel gave a series of lectures on his theorems at Princeton in 1933–1934 to an audience that included Church, Kleene, and Rosser. Source: Internet
Dr Rosser, CEO, of the trust, previously said: 'We are really excited that Jacqui has agreed to be in this year's Strictly Come Dancing. Source: Internet
Dr David Rosser, the chief executive of University Hospitals Birmingham NHS Foundation Trust suggested the Government should not be blamed for the U-turn and said the tech giants should be “ashamed of themselves”. Source: Internet
Rosser hit Lawlor with a series of butt strikes in the corner. Source: Internet