Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the

Naoki Kobayashi, Takashi Suto

Browse the full ICALP paper archive.