Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/ranta-a

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.
    Ranta, Aarne and Cooper, Robin. 2004. Dialogue Systems as Proof Editors.” Journal of Logic, Language, and Information 13(2): 225–240.