An interview with Robin Milner
Karen A. Frenkel, Robin Milner · Communications of the ACM · 1993
Please describe, in the simplest terms possible, the essence of Logical for Computable Functions (LCF).RObin MIIner: I came quite late to research.I taught for five years in City University in London, and before that I'd worked for three years for Ferranti Computers, where I did some programming.While I was teaching at City University, I became interested in artificial intelligence, but also in what programming means.I also got interested in mathematical logic, but all of these were separate threads.