Matching for the Lambda Calculus of Objects (1998)

Cached

Download Links

by Viviana Bono , Michele Bugliesi
Venue:Theoretical Computer Science
Citations:10 - 9 self