Viewing profile — wmacaluso

i've always wondered about closed form brep approaches, and i'm glad to see that someone much smarter than I has made it their passion and made it a reality

Peter Naur's "Programming as Theory Building" ( http://pages.cs.wisc.edu/~remzi/Naur.pdf ) is also a closely related read.