A Formal Correspondence between OMDoc with Alternative Proofs and the LambdabarMuMutilde-Calculus
@inproceedings{ASC-06-a, author = {Serge Autexier and Claudio Sacerdoti-Coen}, editor = {Jon Borwein and Bill Farmer}, booktitle = {Proceedings of MKM'06}, title = {A Formal Correspondence between OMDoc with Alternative Proofs and the LambdabarMuMutilde-Calculus}, volume = {4108}, series = {LNAI}, publisher = {Springer}, pages = {67-81}, month = {august}, year = {2006}, }