From obj to ml to coq

Jacek Chrząszcz, Jean-Pierre Jouannaud

pp. 216-234


This document is unfortunately not available for download at the moment.

Not implemented yet !