Gilles Barthe, Herman Geuvers. Congruence Types. In Hans Kleine Büning, editor, Computer Science Logic, 9th International Workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Volume 1092 of Lecture Notes in Computer Science, pages 36-51, Springer, 1995.
No references recorded for this publication.
No citations of this publication recorded.