Canonical Structures for the Working Coq User.

Assia Mahboubi, Enrico Tassi

Browse the full ITP paper archive.