Resource operators for λ-calculus (2007)

by Delia Kesner , Stéphane Lengrand
Venue:INFORM. AND COMPUT
Citations:5 - 3 self