Algebra, meaning, and computation

essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

2006

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds)

Berlin, Springer

From obj to ml to coq

2006

Jacek Chrząszcz, Jean-Pierre Jouannaud

in: Algebra, meaning, and computation, Berlin,