Keyword:inductive datatypes

Publications
EasyChair Preprint 5663