Mathematics of Recursive Program Construction (2001)
by
Henk Doornbos
,
Roland Backhouse
| Citations: | 5 - 1 self |
BibTeX
@MISC{Doornbos01mathematicsof,
author = {Henk Doornbos and Roland Backhouse},
title = {Mathematics of Recursive Program Construction},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A discipline for the design of recursive programs is presented. The core concept
