The algebraic hierarchy of the FTA project (2001)

by Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
Venue:Proceedings of Calculemus 2001