A Simple Loopcheck for Intuitionistic K.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger

Browse the full WoLLIC paper archive.