Surreal Numbers in Coq. - Lionel Elie Mamane (TYPES, 2004)

An Interactive Algebra Course with Formalised Proofs and Definitions. - Andrea Asperti; Herman Geuvers; Iris Loeb; Lionel Elie Mamane; Claudio Sacerdoti Coen (MKM, 2005)

A Logically Saturated Extension of lambdaµµ. - Lionel Elie Mamane; Herman Geuvers; James McKinna (Calculemus/MKM, 2009)