Representing Nested Inductive Types Using W-types

by Michael Abbott, Thorsten Altenkirch , Neil Ghani
Citations:6 - 3 self