1. Agrawal, R., Srikant, R.: Privacy-preserving data mining. In: Chen, W., Naughton, J.F., Bernstein, P.A. (eds.) 2000 ACM SIGMOD International Conference on Management of Data, pp. 439–450. ACM, New York (2000)
2. Lecture Notes in Computer Science;A. Bove,2001
3. Bove, A., Capretta, V.: Modelling general recursion in type theory. To appear in Mathematical Structures in Computer Science (2004), Available at
http://www.science.uottawa.ca/~vcapr396/
4. Capretta, V.: Abstraction and Computation. PhD thesis, Computing Science Institute, University of Nijmegen (2002)
5. Lecture Notes in Computer Science;T. Coquand,1994