Set Comprehension in Church’s Type Theory (2004)

by Chad E Brown