A system of interaction and structure II: The need for deep inference (0)

by Alwen Tiu
Venue:Logical Methods in Computer Science