Weakest Preconditions in Fibrations.

Alejandro Aguirre, Shin-ya Katsumata

Browse the full MFPS paper archive.