Sacchini, Jorge Luis, 1980-....
Jorge-Luis Sacchini Ph.D. École Nationale Supérieure des Mines de Paris 2011
VIAF ID: 193069528 (Personal)
Permalink: http://viaf.org/viaf/193069528
Preferred Forms
Works
Title | Sources |
---|---|
On type-based termination and dependent pattern matching in the calculus of inductive constructions |