@PhdThesis(Brown2004a,
 Author="Chad E. Brown",
 Title="{Set Comprehension in Church's Type Theory}",
 School="Department of Mathematical Sciences, Carnegie Mellon University",
 Year=2004)