150036

References

Jacek Chrząszcz

From obj to ml to coq

2006

with Jouannaud Jean-Pierre

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link