Paper: Eager Functions as Processes (at LICS 2018)
Authors: Adrien Durier Daniel Hirschkoff Davide Sangiorgi
Abstract
No Abstract Available
BibTeX
@InProceedings{DurierHirschkoffSan-EagerFunctionsasPro,
author = {Adrien Durier and Daniel Hirschkoff and Davide Sangiorgi},
title = {Eager Functions as Processes},
booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)},
year = {2018},
month = {July},
pages = {364--373},
location = {Oxford},
publisher = {IEEE Computer Society Press}
}
