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} }