Fragments of science for unscientific people : a series of detached essays, lectures, and reviews Q Science
Researches on diamagnetism and magne-crystallic action, including the question of diamagnetic polarity Q Science
Types for proofs and programs : international workshop, TYPES ’98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers Q Science
Types for proofs and programs : international workshop, TYPES ’99, Lo虉keberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand … [et al.], (Eds.) Lecture notes in computer science ; 1956 Q Science
