Functors for Proofs and Programs (2003)

Cached

Download Links

by Jean-Christophe Filliatre , Pierre Letouzey
Citations:17 - 3 self