Note on 'Propositions as Types' by Philip Wadler via Strange Loop Conference

I think informatics is a much better word to use, right?

Computer Science - there are only two things wrong with it: the word computer and the word science, right? Because it’s not about just the computer - it’s about patterns of information. And you don’t put science in your name if you’re a real science.

FROM:

Strange Loop Conference

'Propositions as Types' by Philip Wadler

Source

Informatics as pattern language?