Author:
Angiuli Carlo,Harper Robert
Funder
Air Force Office of Scientific Research
Reference51 articles.
1. A non-type-theoretic definition of Martin-Löf’s types;Allen,1987
2. A Non-Type-Theoretic Semantics for Type-Theoretic Language;Allen,1987
3. T. Altenkirch, C. McBride, W. Swierstra, Observational equality, now, in: Programming Languages Meets Program Verification Workshop, 2007.
4. Computational higher-dimensional type theory;Angiuli,2017
5. Homotopy theoretic models of identity types;Awodey;Math. Proc. Camb. Phil. Soc.,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献