From obj to ml to coq

2006

Jacek Chrząszcz, Jean-Pierre Jouannaud

in: Algebra, meaning, and computation, Berlin,