[plt-scheme] Formalizing Scheme

From: Paulo Jorge O. C. Matos (pocm at mega.ist.utl.pt)
Date: Mon Oct 14 22:40:58 EDT 2002

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!

Posted on the users mailing list.