A New Extraction for Coq (2002)

by Pierre Letouzey
Venue:of Lecture Notes in Computer Science