Publisher
Springer Science and Business Media LLC
Reference23 articles.
1. Barendregt, H. P. (1992). Lambda Calculi with Types. ://
ttic.uchicago.edu
/~dreyer/course/papers/barendregt.pdf. Accessed 11 September 2017.
2. Church, A. (1940). A formulation of the simple theory of types. The Journal of Symbolic Logic, 5(2), 56–68.
3. Church, A. (1951). A Formulation of the Logic of Sense and Denotation. In P. Henle, H. M. Kallen, & S. K. Langer (Eds.), Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer (pp. 3–24). New York: The Liberal Arts Press.
4. Duží, M. (2010). The Paradox of Inference and the Non-Triviality of Analytic Information. Journal of Philosophical Logic, 39(5), 473–510.
5. Duží, M., Jespersen, B., & Materna, P. (2010). Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Berlin: Springer.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献