Danielsson and Thorsten Altenkirch. Subtyping, declaratively; an exercise in mixed induction and coinduction (2010)

by Nils Anders
Venue:the proceedings of the Tenth International Conference on Mathematics of Program Construction (MPC’10