My research interests include logic, term rewriting, automata theory, coalgebra, formalized mathematics and proof assistants.

Automata Transforming Streams

Productivity

Termination

Clocked Lambda Calculus & Clocked Böhm Trees

Confluence & Unique Normal Forms