Lionel Elie Mamane

According to our database, Lionel Elie Mamane authored at least 3 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

A Logically Saturated Extension of lambdaµµ.

Lionel Elie Mamane, Herman Geuvers, James McKinna

Proceedings of the Intelligent Computer Mathematics, 2009

2005

An Interactive Algebra Course with Formalised Proofs and Definitions.

Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Surreal Numbers in Coq.

Lionel Elie Mamane

Proceedings of the Types for Proofs and Programs, International Workshop, 2004