Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=519044
Copy and paste this citation
THIERRY COQUAND
and HENRI LOMBARDI
(2006).
A logical approach to abstract algebra. Mathematical Structures in Computer Science, 16
,
pp 885-900
doi:10.1017/S0960129506005627