References
Jacek Chrząszcz
with Jouannaud Jean-Pierre (2006). From obj to ml to coq. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 216-234). Dordrecht: Springer.
with Jouannaud Jean-Pierre (2006). From obj to ml to coq. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 216-234). Dordrecht: Springer.