6 papers:
LICS-2015-MaillardM- A Fibrational Account of Local States (KM, PAM), pp. 402–413.
TLCA-2015-Riba #automaton- Fibrations of Tree Automata (CR), pp. 302–316.
- LICS-CSL-2014-BonchiPPR #induction
- Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.
FoSSaCS-2012-AtkeyGJJ #induction- Fibrational Induction Meets Effects (RA, NG, BJ, PJ), pp. 42–57.
CSL-2010-GhaniJF #algebra #induction- Fibrational Induction Rules for Initial Algebras (NG, PJ, CF), pp. 336–350.
PPDP-2000-PowerR #abstraction #logic- Logical relations, data abstraction, and structured fibrations (JP, ER), pp. 15–23.
