Central and East EuropeanSociety for Phenomenology
Repository | Directory | Profile
(2000-2009)
From obj to ml to coq
2006
Jacek ChrząszczJean-Pierre Jouannaud
in: Algebra, meaning, and computation, Dordrecht : Springer
