Highly Influential

- Published 1998

Inference rule \substitution of equals for equals" has been formalized in terms of simple substitution (which performs a replacement even though a free occurrence of a variable is captured), contextual substitution (which prevents such capture), and function application. We show that in connection with pure rst-order predicate calculus, the function… CONTINUE READING

### Presentations referencing similar topics