Resource operators for λ-calculus (2007)

Cached

Download Links

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