Back to Search
Start Over
The Cost of Usage in the ?-Calculus.
- Source :
- Proceedings of the 2013 28th Annual ACM IEEE Symposium on Logic in Computer Science; 6/25/2013, p293-300, 8p
- Publication Year :
- 2013
Details
- Language :
- English
- ISBNs :
- 9780769550206
- Database :
- Complementary Index
- Journal :
- Proceedings of the 2013 28th Annual ACM IEEE Symposium on Logic in Computer Science
- Publication Type :
- Conference
- Accession number :
- 101443400
- Full Text :
- https://doi.org/10.1109/LICS.2013.35