Search
Springer
From obj to ml to coq
Vol. 4060
Jacek Chrząszcz, Jean-Pierre Jouannaud
Volume
Title
Author