Virgile Prevosto, Damien Doligez, Thérèse Hardin. Algebraic Structures and Dependent Records. In Victor Carreño, César Muñoz, Sofiène Tahar, editors, Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Volume 2410 of Lecture Notes in Computer Science, pages 298-313, Springer, 2002. [doi]
@inproceedings{PrevostoDH02,
title = {Algebraic Structures and Dependent Records},
author = {Virgile Prevosto and Damien Doligez and Thérèse Hardin},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2410/24100298.htm},
tags = { algebra},
researchr = {https://researchr.org/publication/PrevostoDH02},
cites = {0},
citedby = {0},
pages = {298-313},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
editor = {Victor Carreño and César Muñoz and Sofiène Tahar},
volume = {2410},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-44039-9},
}