Repository | Serials | Series | Volumes
Springer
Algebra, meaning, and computation
Vol. 4060
From obj to ml to coq
Jacek ChrząszczJean-Pierre Jouannaud
Volume
Title
Author