A system of interaction and structure (0)

by Alessio Guglielmi
Venue:ACM Transactions on Computational Logic