CSL
2009
Springer
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References
14 years 3 months ago
Eijiro Sumii
Added |
26 May 2010 |
Updated |
26 May 2010 |
Type |
Conference |
Year |
2009 |
Where |
CSL |
Authors |
Eijiro Sumii |
Comments (0)