A Logical Approach to Abstract Algebra.
Journal article, 2005

Author

Thierry Coquand

University of Gothenburg

CiE2005

86-95

Subject Categories

Algebra and Logic

Computer Science

More information

Created

10/10/2017