Bainbridge coauthored the paper `Functorial Polymorphism' with Freyd, Scedrov and Scott (DOI). What is his/her first name?
What is the first name of Bainbridge?
type theory;authorship
Based on a quick search through the University of Michigan library catalog, I'm pretty sure it's Edwin; see, for example, this technical report A Class of Sequential Sampling Problems Arising in Certain Learning Situations (1967).