Lionel Elie Mamane

	2009
3		Lionel Elie Mamane, Herman Geuvers, James McKinna: A Logically Saturated Extension of . Calculemus/MKM 2009: 405-421
	2005
2		Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen: An Interactive Algebra Course with Formalised Proofs and Definitions. MKM 2005: 315-329
	2004
1		Lionel Elie Mamane: Surreal Numbers in Coq. TYPES 2004: 170-185

Coauthor Index

1	Andrea Asperti	[2]
2	Claudio Sacerdoti Coen	[2]
3	Herman Geuvers	[2] [3]
4	Iris Loeb	[2]
5	James McKinna	[3]