Author:
Awodey Steve,Rabe Florian
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Allen, S.: A Non-Type-Theoretic Definition of Martin-Löf’s Types. In: Gries, D. (ed.) Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, LICS 1987, pp. 215–221. IEEE Computer Society Press, Los Alamitos (1987)
2. Awodey, S., Rabe, F.: Kripke Semantics for Martin-Löf’s Extensional Type Theory (2009), http://kwarc.info/frabe/Research/LamKrip.pdf
3. Cartmell, J.: Generalized algebraic theories and contextual category. Annals of Pure and Applied Logic 32, 209–243 (1986)
4. Church, A.: A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5(1), 56–68 (1940)
5. Curien, P.: Alpha-Conversion, Conditions on Variables and Categorical Logic. Studia Logica 48(3), 319–360 (1989)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献