Recursive programming with proofs
Published in Theoretical Computer Science • Mar 1, 1992
Authors:
Michel Parigot
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!
No comments yet
Be the first to share your thoughts!