Intensional analysis of quantified types (2000)

by Bratin Saha, Valery Trifonov, Zhong Shao