Memoryful geometry of interaction II: recursion and adequacy.

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo

Browse the full POPL paper archive.