2017-11-03: Bob Atkey (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Bob Atkey (MSP)

Measuring the sizes of trees

Abstract

I'll talk about a way of measuring the sizes of trees using weighted tree automata, in a compositional way that works well with pattern matching. This is based on some work by Georg Moser and Martin Hofmann.

2017-11-03 16:00:00 UTC
LT1310