@Guillaume Brunerie : et tu dis "théorie de Martin-Löf des types" ? ;-) Pour ta version, la grammaire anglaise inclinerait plutôt à mettre un tiret : homotopy-type theory (même s'il faut admettre que le globbish tend à faire disparaître cette subtilité). Sinon les adjectifs qualificatifs réfèrent tous au substantif qualifié, me semble-t-il.

PS : super bouquin au fait :-)