Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran. Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 123-133, ACM, 2014. [doi]
@inproceedings{YangEMMN14,
title = {Theories of Homomorphic Encryption, Unification, and the Finite Variant Property},
author = {Fan Yang and Santiago Escobar and Catherine Meadows and José Meseguer and Paliath Narendran},
year = {2014},
doi = {10.1145/2643135.2643154},
url = {http://doi.acm.org/10.1145/2643135.2643154},
researchr = {https://researchr.org/publication/YangEMMN14},
cites = {0},
citedby = {0},
pages = {123-133},
booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014},
editor = {Olaf Chitil and Andy King and Olivier Danvy},
publisher = {ACM},
isbn = {978-1-4503-2947-7},
}