Conor McBride

Conor McBride

Books

Co-authored books and collections

Books that list Conor McBride among their authors but not as the lead author: co-written works, collections and compilations.

List of Successes That Can Change the WorldSam Lindley

List of Successes That Can Change the World

Sam Lindley · 2016

Types for Proofs and ProgramsThorsten Altenkirch

Types for Proofs and Programs

Thorsten Altenkirch · 2003