Publisher
Springer Nature Switzerland
Reference11 articles.
1. Church, A.: A formulation of the simple theory of types. J. Symb. Log. 5, 56–68 (1940)
2. Coquand, T.: An analysis of Girard’s paradox. In: Proceedings of the Symposium on Logic in Computer Science (LICS 1986), Cambridge, Massachusetts, USA, 16–18 June 1986, pp. 227–236. IEEE Computer Society (1986)
3. Coquand, T.: The paradox of trees in type theory. BIT 32(1), 10–14 (1992)
4. Coquand, T.: A new paradox in type theory. In: Logic, Methodology and Philosophy of Science IX. Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, 7–14 August 1991, pp. 555–570. North-Holland, Amsterdam (1994)
5. Coquand, T., Paulin, C.: Inductively defined types. In: Martin-Löf, P., Mints, G. (eds.) COLOG 1988. LNCS, vol. 417, pp. 50–66. Springer, Heidelberg (1988). https://doi.org/10.1007/3-540-52335-9_47