Author : Lawrence C. Paulson
Publisher :
ISBN 13 :
Total Pages : 46 pages
Book Rating : 4.32/5 ( download)
Book Synopsis Co-induction and Co-recursion in Higher-order Logic by : Lawrence C. Paulson
Download or read book Co-induction and Co-recursion in Higher-order Logic written by Lawrence C. Paulson and published by . This book was released on 1993 with total page 46 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theory is demonstrated using lists and lazy lists as examples. The emphasis is on using co-recursion to define lazy list functions, and on using co-induction to reason about them."