Conference
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
Authors
Autexier S; Coen CS
Editors
Borwein JM; Farmer WM
Series
Lecture Notes in Computer Science
Volume
4108
Pagination
pp. 67-81
Publisher
Springer
Publication Date
January 1, 2006
ISBN-10
3-540-37104-4
Conference proceedings
MKM