| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{GundersenHeijltjesP-AtomicLambdaCalculu,
author = {Tom Gundersen and Willem Heijltjes and Michel Parigot},
title = {Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing},
booktitle = {Proceedings of the Twenty-Eighth Annual IEEE Symposium on Logic in Computer Science (LICS 2013)},
year = {2013},
month = {June},
pages = {311--320},
location = {New Orleans, USA},
publisher = {IEEE Computer Society Press}
}