Modeling Context Information for Computational Semantics with the Language of Acyclic Recursion-Reference-Cited by-同舟云学术

Modeling Context Information for Computational Semantics with the Language of Acyclic Recursion

Published:2011 Issue: Volume: Page:265-274
ISSN:1867-5662
Container-title:Advances in Intelligent and Soft Computing
language:
Short-container-title:

Author:

Loukanova Roussanka

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-19917-2_32.pdf

Reference9 articles.

1. Barwise, J., Perry, J.: Situations and Attitudes. MIT press, Cambridge (1983)

2. Devlin, K.: Situation theory and situation semantics. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 601–664. Elsevier, Amsterdam (2008)

3. Lecture Notes in Computer Science;R. Loukanova,2002

4. Loukanova, R.: Typed lambda language of acyclic recursion and scope underspecification. In: Muskens, R. (ed.) Workshop on New Directions in Type-theoretic Grammars, ESSLLI 2007, Dublin, Ireland, pp. 73–89 (2007)

5. Loukanova, R.: Computational syntax-semantics interface. In: Bel-Enguix, G., Jiménez-López, M.D. (eds.) Language as a Complex System: Interdisciplinary Challenges, pp. 111–150. Cambridge Scholars Publishing (2010)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Eta-Reduction in Type-Theory of Acyclic Recursion;ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal;2023-07-18

2. Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms;Lecture Notes in Computer Science;2018-12-30

3. A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion;Constraint Solving and Language Processing;2013