Home
DCC eCatalog
Claudio__Hermida
Structural induction and coinduction in a fibrational setting
