Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
From obj to ml to coq
2006
Jacek ChrząszczJean-Pierre Jouannaud
in: Algebra, meaning, and computation, Dordrecht : Springer
