Elimination with a Motive (2002)

Cached

Download Links

by Conor Mcbride
Venue:Types for Proofs and Programs (Proceedings of the International Workshop, TYPES’00), volume 2277 of LNCS
Citations:37 - 12 self