Funder
Grantová Agentura České Republiky
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference23 articles.
1. Cardelli, L., & Wegner, P. (1985). On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4), 471–523. https://doi.org/10.1145/6041.6042
2. Chierchia, G. (1982). Nominalization and Montague grammar: A semantics without types for natural languages. Linguistics and Philosophy, 5(3), 303–354. https://doi.org/10.1007/BF00351458
3. Church, A. (1951). The need for abstract entities in semantic analysis. Proceedings of the American Academy of Arts and Sciences, 80(1), 100–112.
4. Church, A. (1956). Introduction to mathematical logic. Princeton University Press.
5. Duží, M. (1993). Frege, notional attitudes, and the problem of polymorphism. In M. Stelzner & W. Stelzner (Eds.), Logik und mathematik Frege-Kolloquium Jena (pp. 314–323). de Gruyter.