Login / Signup
Matching Constraints for the Lambda Calculus of Objects.
Viviana Bono
Michele Bugliesi
Published in:
TLCA (1997)
Keyphrases
</>
lambda calculus
d objects
object oriented
higher order