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