Functors for Proofs and Programs (2003)

by Jean-Christophe Filliatre, Pierre Letouzey