Publisher
Springer International Publishing
Reference45 articles.
1. Bainbridge, E. S., Freyd, P. J., Scedrov, A., & Scott, P. J. (1990). Functorial polymorphism. Theoretical Computer Science, 70, 35–64.
2. Barendregt, H., Dekkers, W., & Statman, R. (2013). Lambda calculus with types. Perspectives in logic. Cambridge University Press.
3. de Queiroz, R. J. G. B., & de Oliveira, A. G. (2014). Natural deduction for equality: The missing entity (pp. 63–91). Springer Netherlands.
4. Došen, K. (2003). Identity of proofs based on normalization and generality. The Bulletin of Symbolic Logic, 9(4), 477–503.
5. Eilenberg, S., & Kelly, G. M. (1966). A generalization of the functorial calculus. Journal of Algebra, 3(3), 366–375.