Relating Computational Effects by ⊤ ⊤-Lifting.

Shin-ya Katsumata

Browse the full ICALP paper archive.