Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Aczel, P.: Simple overloading for type theories (manuscript, 1994)
3. The Agda proof assistant (version 2) (2008), http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php
4. Allen, S., et al.: Innovations in computational type theory using Nuprl. Journal of Applied Logic 4(4) (2006)
5. Lecture Notes in Computer Science;D. Aspinall,1995
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;Formal Semantics in Modern Type Theories;2020-12-11
2. Theories as Types;Automated Reasoning;2018
3. Using Signatures in Type Theory to Represent Situations;New Frontiers in Artificial Intelligence;2015
4. Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?;Logical Aspects of Computational Linguistics;2014
5. Typed Operational Semantics for Dependent Record Types;Electronic Proceedings in Theoretical Computer Science;2011-03-16