Histoire de la prison et des dispositifs disciplinaires modernes.
Théorie libérale de la justice fondée sur le voile d'ignorance.
Référence fondamentale en algorithmique et structures de données.
Critique de la métaphysique occidentale à travers l'écriture.