DMCA

Inductive families need not store their indices (2004)

Cached

Download Links

by Edwin Brady , Conor Mcbride , James Mckinna
Venue:Types for Proofs and Programs, Torino, 2003, volume 3085 of LNCS
Citations:46 - 16 self