research
∙
04/22/2019
Polymorphic Higher-order Termination
We generalise the termination method of higher-order polynomial interpre...
share
research
∙
08/20/2018
Concrete Semantics with Coq and CoqHammer
The "Concrete Semantics" book gives an introduction to imperative progra...
research
∙
08/15/2018
An infinitary rewriting interpretation of coinductive types
We introduce an infinitary rewriting semantics for strictly positive nes...
research
∙
08/15/2018