Implementing modules in the system Coq (2003)

by Jacek Chrzszcz
Venue:University of Rome III