A logical approach to abstract algebra
Journal article, 2006
Author
Thierry Coquand
University of Gothenburg
Henri Lombardi
Mathematical Structures in Computer Science
Vol. 16 5 885-900
Subject Categories
Other Mathematics