Rodney Burstall

Rodney Burstall (en) avec un travail intitulé Automatic methods of inductive inference. Il devient professeur à Édimbourg, où il crée, avec Burstall et

liste des auteurs). (en) Gordon David Plotkin (sous la direction de Rodney Burstall (en)), Automatic methods of inductive inference [« Méthodes automatiques

soutient un Ph. D. à l'université d'Édimbourg sous la supervision de Rodney Burstall (en) (Computational Logic: Structure Sharing and Proof of Program Properties)