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:37 - 13 self