Skip to main content

Special Issue on Theorem Provers and Functional Programming

Tom Melham

Journal
Journal of Functional Programming
Month
March
Number
2
Pages
i−ii
Volume
9
Year
1999