PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Message
``Re: MSC for expression?'' by Jon Awbrey on 2008-02-22 09:37:36
Yes, it does seems useful to have one or more formal definitions. Various definitions will be found in the computer science literature, where solid definitions of things like m-expressions and s-expressions are needed to formalize combinator expressions and lambda calculus expressions.
[ reply | up | top ]
Interact
reply