DMCA

Representing Nested Inductive Types Using W-types

by Michael Abbott, Thorsten Altenkirch , Neil Ghani
Citations:8 - 4 self