Repository | Directory | Profile
From obj to ml to coq
2006
Jacek ChrząszczJean-Pierre Jouannaud
in: Algebra, meaning, and computation, Dordrecht : Springer
