Leonidas Lampropoulos
Benjamin C. Pierce
 

Version 1.0 (09 Oct 2018, Coq 8.8.1)