Title
Reasoning About Object Systems in VTLoE
Year
Venue
Keywords
1995
Int. J. Found. Comput. Sci.
functional,object
Field
DocType
Volume
Closure (computer programming),Lambda calculus,Programming language,Computer science,Theoretical computer science,Equivalence (measure theory),Branching (version control),Discrete mathematics,Data structure,Combinatorics,Equivalence relation,Method,Local variable
Journal
6
Issue
Citations 
PageRank 
3
4
1.59
References 
Authors
0
2
Name
Order
Citations
PageRank
Ian A. Mason179797.47
Carolyn Talcott21922168.73