[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: bindings and assignments



>>>>> "Perry" == Perry E Metzger <perry@piermont.com> writes:

Perry> Michael Sperber <sperber@informatik.uni-tuebingen.de> writes:
Perry> What I'm really looking for is a pair of definitions with a bit
Perry> more formalism that I can point people to.
>> 
>> What kind of formalism do you have in mind?

Perry> Nothing deep -- just something unambiguous and straightforward for the
Perry> beginner.

So what's your gripe with the explanation I gave?  It sure worked fine
for a couple hundred of my students.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla