Publisher
Springer International Publishing
Reference35 articles.
1. S. Awodey, Structuralism, invariance, and univalence. Philos. Math. 22(1), 1–11 (2014)
2. S. Awodey, Homotopy type theory, in Logic and Its Applications, vol. 8923, Lecture Notes in Computer Science (Springer, Heidelberg, 2015), pp. 1–10
3. S. Eilenberg, S. Mac, Lane, A general theory of natural equivalences. Trans. Am. Math. Soc. 58, 231–294 (1945)
4. H.B. Enderton et al., Recursion theory, in Handbook of Mathematical Logic, Part C. Studies in Logic and the Foundations of Mathematics, vol. 90 (North-Holland, Amsterdam, 1977), pp. 525–815
5. J. Ferreirós, The road to modern logic-an interpretation. Bull. Symb. Log. 7(4), 441–484 (2001)