Title: Proof, language, and interaction
Subjects: Computer science, Mathematics
People: R. Milner (1934-), Robin Milner