Don't Sweat Interaction Trees: Proof-Guided Local Variable Lifting for Interaction Trees.

Yiming Lin, Ian Kariniemi, Yao Li

Browse the full ITP paper archive.