1. LNAI;C. Sacerdoti Coen,2006
2. Sacerdoti Coen, C.: Declarative representation of proof terms. In: Prog. Lang. for Mechanized Math., University of Linz. RISC Reports, vol. 07-10, pp. 3–18 (2007)
3. Kirchner, F.: Interoperable proof systems. Ph.D thesis, École Polytechnique (2007)
4. LNAI;S. Autexier,2006
5. Curien, P.L., Herbelin, H.: The duality of computation. In: ICFP 2000, vol. 35(9), pp. 233–243. ACM, New York (2000)