Serge Autexier, Claudio Sacerdoti Coen. A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 67-81, Springer, 2006. [doi]
Abstract is missing.