Inductive Construction of Repletion (1999)

by T Streicher
Venue:Appl. Categ. Structures