Resource operators for λ-calculus (0)

by D Kesner, S Lengrand
Venue:Inform. and Comput