David Cachera, David Pichardie. Programmation d un interpréteur abstrait certifié en logique constructive. Technique et Science Informatiques, 30(4):381-408, 2011. [doi]
@article{CacheraP11,
title = {Programmation d un interpréteur abstrait certifié en logique constructive},
author = {David Cachera and David Pichardie},
year = {2011},
url = {http://tsi.revuesonline.com/article.jsp?articleId=16201},
researchr = {https://researchr.org/publication/CacheraP11},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {30},
number = {4},
pages = {381-408},
}