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