IWC 2020: On the reduction of the type-free computational Lambda-calculus (Riccardo Treglia)
Channel: IJCAR-FSCD 2020
Date: 2020-07-05

Talk 6