Author:
de Paiva Valeria,Rodin Andrei
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference23 articles.
1. 1. Bell, J.: The development of categorical logic. In: Gabbay, D. (ed.) The Handbook of Philosophical Logic, vol. 12, p. 279 (2005)
2. Blass A.R., Scedrov A.: Freyd’s models for the independence of the axiom of choice. Memoirs Am. Math. Soc. 79(404), 134 (1989)
3. 3. De Groote, Ph. (ed.): The curry-howard isomorphism. In: Cahiers du Centre de Logique, Université catholique de Louvain, Louvain-La-Neuve, vol. 8, p. 364 (1995)
4. 4. Corradini, A., et al.: Algebraic approaches to graph transformation. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 163–312 (1997)
5. 5. Voevodsky, et al. (2013) Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton Institute for Advanced Study, Princeton
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献