source: Deliverables/D4.2-4.3/reports/report.bib @ 1446

Last change on this file since 1446 was 1438, checked in by mulligan, 9 years ago

changed claudio's english, added bib file

File size: 165 bytes
Line 
1@inproceedings
2{ sozeau:subset:2006,
3  author = {M. Sozeau},
4  title = {Subset coercions in {Coq}},
5  booktitle = {{TYPES}},
6  pages = {237--252},
7  year = {2006}
8}
Note: See TracBrowser for help on using the repository browser.