![[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
Tobydavis Appel
Ajouté à mes notifications
Vous serez informé des prochaines publications.