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

More information

Created

10/10/2017