@article{asperti-categorical-understanding,
author = "Andrea Asperti",
title = "A categorical understanding of environment machines",
@article{asperti-categorical-understanding,
author = "Andrea Asperti",
title = "A categorical understanding of environment machines",
@article{ctcoq3,
author = "Yves Bertot and Laurent Th\'ery",
title = "A Generic Approach to Building User Interfaces for Theorem Provers",
@article{ctcoq3,
author = "Yves Bertot and Laurent Th\'ery",
title = "A Generic Approach to Building User Interfaces for Theorem Provers",
({TPHOLS}'2000), Portland, Oregon, USA",
}
({TPHOLS}'2000), Portland, Oregon, USA",
}
@inproceedings{Ring,
author = "Samuel Boutin",
title = "Using Reflection to Build Efficient and Certified Decision
@inproceedings{Ring,
author = "Samuel Boutin",
title = "Using Reflection to Build Efficient and Certified Decision