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]
No reviews for this publication, yet.