Twenty five years of constructive type theory by Smith, Jan M., Sambin, Giovanni fromOxford logic guides 0 Type: Book
