Cobordisms and Commutative Categorial Grammars

키워드

참고문헌 (21)

1. Abramsky, Samson, "Algebra and Coalgebra in Computer Science", pp.1~29 (2005), Springer Berlin Heidelberg
2. Abramsky, Samson, "Handbook of Quantum Logic and Quantum Structures", pp.261~323 (2009), Elsevier
3. Baez, J., "New Structures for Physics", pp.95~172 (2011), Springer Berlin Heidelberg
4. Baez, John C., "Higher-dimensional algebra and topological quantum field theory", Journal of Mathematical Physics, 36(11), pp.6073~6105 (1995)
5. Barendregt, Hendrik Pieter, "The Lambda Calculus - Its Syntax and Semantics", Studies in logic and the foundations of mathematics, 103 (1985)
6. Benton, P. N., "Linear lambda-calculus and categorial models revisited. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, and Michael M. Richter, (eds.), Computer Science Logic, 6th Workshop, CSL ’92, San Miniato, Italy, September 28 -October 2, 1992, Selected Papers", Lecture Notes in Computer Science, 702, pp.61~84 (1992), Springer
7. Coecke, Bob, "Mathematical foundations for a compositional distributional model of meaning", Linguistic Analysis (Lambek Festschrift), pp.345~384 (2010)
8. Coecke, Bob, "The Frobenius anatomy of word meanings I : subject and object relative pronouns", Journal of Logic and Computation, 23(6), pp.1293~1317 (2013)
9. Girard, Jean-Yves, "Linear logic", Theoretical Computer Science, 50, pp.1~102 (1987)
10. de Groote, Philippe, "Towards abstract categorial grammars", Proceedings of 39th Annual Meeting of the Association for Computational Linguistics, pp.148~155 (2001)
11. Kelly, G. M., "Coherence for compact closed categories", Journal of Pure and Applied Algebra, 19, pp.193~213 (1980)
12. Lambek, J, "Logical Aspects of Computational Linguistics", pp.1~27 (1999), Springer Berlin Heidelberg
13. Lambek, Joachim, "The mathematics of sentence structure", The American Mathematical Monthly, 65(3), pp.154~170 (1958)
14. Martello, Silvano, "Knapsack Problems: Algorithms and Computer Implementations" (1990), John Wiley & Sons, Inc
15. MihaliÃek, Vedrana, "Formal Grammar", pp.130~145 (2012), Springer Berlin Heidelberg
16. Muskens, R. A., "Separating syntax and combinatorics in categorial grammar", Research on Language and Computation, 5(3), pp.267~285 (2007)
17. Salvati, Sylvain, "Encoding second order string ACG with deterministic tree walking transducers", The 11th conference on Formal Grammar, FG Online Proceedings, pp.143~156 (2006), CSLI Publications
18. Seely, R.A.G., "Categories in Computer Science and Logic", pp.371~382 (1989), American Mathematical Society
19. Seki, Hiroyuki, "On multiple context-free grammars", Theoretical Computer Science, 88(2), pp.191~229 (1991)
20. Stong, Robert E, "Notes on Cobordism Theory" (2016), Princeton University Press
21. Yoshinaka, Ryo, "Logical Aspects of Computational Linguistics", pp.330~346 (2005), Springer Berlin Heidelberg

관련 논문AI추천