[Alta-Logic] talk tomorrow

[Jonathan Gallagher]

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

*Speaker*: Jonathan Gallagher
*Title*: Ditching squares for triangles -- confluence in under an hour

*Abstract*: In this talk, we will give a proof of the Church-Rosser
theorem for the lambda-calculus that is due to Takahashi 1995.
Takashi used a property of developments -- that they are always
developing towards a 'goal' -- to give the shortest known proof
of confluence for the lambda calculus.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20171019/bace6ba9/attachment.html