Inverting Inductively Defined Relations in LEGO (1998)

Cached

Download Links

by Conor McBride
Venue:TYPES FOR PROOFS AND PROGRAMS, ’96, VOLUME 1512 OF LNCS
Citations:8 - 4 self