erational notion of a reduction sequence and the

denotational semantics of the input and output of a reduction sequence.

Nearby terms:

erational notion of a reduction sequence and thenput and output of a

Try this search on Wikipedia, OneLook, Google


Loading