[Alta-Logic] peripatetic seminar tomorrow

[Jonathan Gallagher]

The next meeting of the peripatetic seminar will be held tomorrow
*Friday, November 3, *at* 11:15 am* in *ICT 616*.

*Speaker*: Jonathan Gallagher
*Title*: Differentiation is progressive
*Abstract*:
The Takahashi triangle property for abstract
rewriting systems contrasts 'good' and
'bad' developments of a simultaneous set of rewrites:
for every bad development, there is a better development
that converts the result into the result of the good
development.  Takahashi used the triangle property
to study the confluence and standardization theorems
of the lambda calculus at the same time.

In this talk, we will show that the equational theory
of differentiation can be cast in terms of rewriting
modulo equations, and that moreover developments
in this rewriting system have a version of the triangle
property that is applicable to rewriting modulo equations.
In particular, this rewriting system has the
Church-Rosser modulo property.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20171102/a93cc7a1/attachment.html