DMCA

An introduction to small scale reflection in Coq

by Georges Gonthier , Assia Mahboubi , Hal Id Inria , Georges Gonthier , Assia Mahboubi , Georges Gonthier , Assia Mahboubi
Venue:Journal of Formalized Reasoning
Citations:19 - 7 self