![[inria-00289543, v1] A list-machine benchmark for mechanized metatheory (extended abstract)](https://img.uscri.be/pth/1d98a0a740301f332871d45d3ae86b1bcdc55ab5)
Documents
Informatique
[inria-00289543, v1] A list-machine benchmark for mechanized metatheory (extended abstract)
Auteur
Andrew Et Al
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.