Aarne Ranta (ranta-a)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Blackburn, Patrick, Dymetman, Marc, Lecomte, Alain, Ranta, Aarne, Retoré, Christian and Villemonte de la Clergerie, Eric. 1997. “Logical Aspects of Computational Linguistics: an Introduction.” in LACL’96: First International Conference on Logical Aspects of Computational Linguistics, edited by Christian Retoré, pp. 1–20. Berlin: Springer.
Ranta, Aarne. 1990. “Anaphora in Game-Theoretical Semantics and in Intuitionistic Type Theory.” in Language, Knowledge, and Intentionality – Perspectives on the Philosophy of Jaakko Hintikka, edited by Leila Haaparanta, Martin Kusch, and Ilkka Niiniluoto, pp. 265–274. Acta Philosophica Fennica n. 49. Helsinki: Societas Philosophica Fennica, Akateeminen Kirjakauppa.
Ranta, Aarne. 1991. “Intuitionistic Categorial Grammar.” Linguistics and Philosophy 14(2): 203–239.
Ranta, Aarne. 1994. Type-Theoretical Grammar. Oxford: Oxford University Press.
Ranta, Aarne. 1998a. “Syntactic Calculus with Dependent Types.” Journal of Logic, Language, and Information 7(4): 413–431.
Ranta, Aarne. 1998b. “A Multilingual Natural Language Interface to Regular Expressions.” in FSMNLP’98: International Workshop on Finite State Methods in Natural Language Processing, edited by Lauri Karttunen, pp. 79–90. Somerset, New Jersey: Association for Computational Linguistics.
Ranta, Aarne. 2012. “Machine Translation and Type Theory.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 281–312. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Ranta, Aarne. 2015. “Constructive Type Theory.” in The Handbook of Contemporary Semantic Theory, edited by Shalom Lappin and Chris J. Fox, 2nd ed., pp. 345–374. Hoboken, New Jersey: John Wiley; Sons, Inc. First edition: Lappin (1996), doi:10.1002/9781118882139.