Types for proofs and programs : TYPES 2006 / Thorsten Altenkirch, Conor McBride ed.,
2007
www.strath.ac.uk/staff/mcbrideconordr/, 2021-06-29
Information trouvée : Enseignant-chercheur en informatique à l'Université de Strathclyde, Glasgow (Ecosse,
Royaume-Uni) en 2021