A Fibrational Account of Local States.

Kenji Maillard, Paul-Andr Mellis

Browse the full LICS paper archive.