DMCA

Jumping around the box: Graphical and operational studies on λ-calculus and Linear Logic

by Beniamino Accattoli
Citations:1 - 1 self