Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Asperti, A., Guidi, F., Padovani, L., Sacerdoti Coen, C., Schena, I.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence 38(1), 27–46 (2003)
2. Asperti, A., Sacerdoti Coen, C.: Stylesheets to intermediate representation (prototypes D2.c-D2.d) and I. Loeb, Presentation stylesheets (prototypes D2.e-D2.f), technical reports of MoWGLI (project IST-2001-33562)
3. Coscoy, Y.: Explication textuelles de preuves pour le calcul des constructions inductives. PhD. thesis, Université de Nice-Sophia-Antipolis (2000)
4. Crolard, T.: Subtractive logic. Theoretical computer science 254(1-2), 151–185 (2001)
5. Curien, P., Herbelin, H.: The duality of computation. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP 2000). SIGPLAN Notices, vol. 35(9), pp. 233–243. ACM, New York (2000), ISBN:1-58113-2-2-6
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献