Extraction de programmes à partir de preuves classiques en Coq


Alexandre Miquel, LIP, ENS Lyon. 26 février 2009 10:15 limd 2:00:00
Abstract:

TBA