Hi all,
Scheme is based in Lambda Calculus afaik. I do not know lambda calculus
but is it possible to formalize and analyse a scheme program from a
mathematical point of view? How? Can you please give me references?
Best regards,
--
Paulo J. Matos : pocm(_at_)mega.ist.utl.pt
Instituto Superior Tecnico - Lisbon
Software & Computer Engineering - A.I.
- > http://mega.ist.utl.pt/~pocm
---
Yes, God had a deadline...
So, He wrote it all in Lisp!