Author:
Asperti A.,Ricciotti W.,Sacerdoti Coen C.,Tassi E.
Publisher
Springer Science and Business Media LLC
Reference37 articles.
1. Abel A 2004 Termination checking with types. Theoretical informatics and applications 38: 277–319
2. Asperti A 1992 A categorical understanding of environment machines. J. Funct. Program 2(1): 23–59
3. Asperti A, Ricciotti W 2008 About the formalization of some results by chebyshev in number theory. Invited talk at TYPES’08, Torino, Italy
4. Asperti A, Sacerdoti Coen C, Tassi E, Zacchiroli S 2006 Crafting a proof assistant. In: Proceedings of Types 2006: Conference of the Types Project. Nottingham, UK — April 18–21, Springer-Verlag, Lecture Notes in Computer Science, to appear
5. Barendregt H 1992 Lambda Calculi with Types. In: Abramsky, Samson and others (eds) Handbook of Logic in Computer Science, vol. 2, Oxford University Press
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献