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