The coalgebraic dual of Birkho#'s variety theorem (2000)

by S Awodey, J Hughes