Lionel Elie Mamane

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Lionel Elie Mamane, Herman Geuvers, James McKinna
A Logically Saturated Extension of lambdaµµ. Calculemus/MKM (2009)
Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
An Interactive Algebra Course with Formalised Proofs and Definitions. MKM (2005)
Lionel Elie Mamane
Surreal Numbers in Coq. TYPES (2004)