Lionel Elie Mamane

	2009
3		Lionel Elie Mamane, Herman Geuvers, James McKinna: A Logically Saturated Extension of lambdaµµ. 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]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page