Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
From obj to ml to coq
2006
Jacek ChrząszczJean-Pierre Jouannaud
in: Algebra, meaning, and computation, Dordrecht : Springer
