2,130 followers
Open Access UCL Research: Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent https://t.co/OmmPo1LHFg
Open Access UCL Research: Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent https://t.co/OmmPo1LHFg