Esfandiar Haghverdi
Typed GoI for Exponentials
ICALP, 2006.
@inproceedings{ICALP-v2-2006-Haghverdi,
author = "Esfandiar Haghverdi",
booktitle = "{Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II}",
doi = "10.1007/11787006_33",
isbn = "3-540-35907-9",
pages = "384--395",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Typed GoI for Exponentials}",
volume = 4052,
year = 2006,
}











