4 books • 1 series
Fragments et Bribes
L'Os du Toufoulkanthrope
Le secret du Chef
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)