1 - Grothendieck spaces in approximation theoryBlatter, JörgCote : [18.5 BLA 72]
2 - Transfinite type theory with type variablesAndrews, Peter Bruce (1937-....)Cote : [05 AND 65]
