[plt-scheme] Formalizing Scheme

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!