Robert Langlands wrote the Langlands program , which gives a conjectural vast generalization of class field theory . He formulated :
Robert Langlands formulated the Langlands program , which gives a conjectural vast generalization of class field theory . He wrote :