Keyword:infinite proofs

Papers
Type-Based Termination for Futures Siva Somayyajula and Frank Pfenning EasyChair Preprint no. 8625