Theories of Homomorphic Encryption, Unification, and the Finite Variant Property

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]

Authors

Fan Yang

This author has not been identified. Look up 'Fan Yang' in Google

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

Catherine Meadows

This author has not been identified. Look up 'Catherine Meadows' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google

Paliath Narendran

This author has not been identified. Look up 'Paliath Narendran' in Google