DMCA

Containers -- Constructing Strictly Positive Types (2004)

by Michael Abbott , Thorsten Altenkirch , Neil Ghani
Citations:83 - 28 self