It is not trivial how expressions should be reduced, i.e. evaluated. I have already mentioned that while some strategy could be fruitful in reducing an expression in a given interpretation, others may be not.
Let us have a look at the following simple example of evaluation of the factorial function…
Feedek
- RSS 2.0
bejegyzések, kommentek - Atom
bejegyzések, kommentek
