Juan Agustín Ceán Bermúdez, siguiendo a Antonio Palomino, le dedicó una pequeña biografía, que repitió sin crítica la literatura anglosajona del siglo XIX.