Interview with Bill Lawvere by Felice Cardone 2000

Going through my papers I found this mail-interview by Felice Cardone of Bill Lawvere made in 2000, on the role of cartesian closed categories in foundations. The interview contains important historical information and is particularly relevant today to developments in type theory. For the pdf file click this link.