, Universite' Montpellier II, France, France

• Journal of Formalized Reasoning Vol. 4 No. 1 (2011) - Articles
  Initial Semantics for higher-order typed syntax in Coq
  Abstract  PDF