Формализация минималистского синтаксиса в языке Agda
Аннотация
Полный текст:
PDFЛитература
Митренина, Слюсарь, Романова 2018 — Митренина О. В., Слюсарь Н. А., Романова Е. Е. Введение в генеративную грамматику. М. : Ленанд, 2018.
Adger 2003 — Adger D. Core Syntax : A Minimalist Approach. Oxford University Press, 2003.
beim Graben, Gerth 2012 — beim Graben P., Gerth S. Geometric Representations for Minimalist Grammars // Journal of Logic, Language, and Information. 2012. Vol. 21, no. 4. P. 393–432.
Boeckx 2006 — Boeckx C. Linguistic Minimalism: Origins, Concepts, Methods, and Aims. Oxford University Press, USA, 2006.
Chomsky 2013 — Chomsky N. Problems of projection // Lingua. 2013. Vol. 130. P. 33–49.
Chomsky 2015 — Chomsky N. Problems of projection: Extensions // Structures, strategies and beyond: Studies in honor of Adriana Belletti. Amsterdam/New York : John Benjamins, 2015. С. 1—16.
Chomsky 1995 — Chomsky N. The Minimalist Program. Cambridge, London : The MIT Preee, 1995.
Collins, Stabler 2016 — Collins C., Stabler E. A Formalization of Minimalist Syntax // Syntax. 2016. Mar. Vol. 19, no. 1. P. 43–78.
Martin-Löf 1984 — Martin-Löf P. An Intuitionistic Type Theory : Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Napoli : Bibliopolis, 1984.
Norell 2009 — Norell U. Dependently Typed Programming in Agda // Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. P. 230–266.
Smith, Mursell, Hartmann 2020 — Smith P. W., Mursell J., Hartmann K., eds. Agree to Agree: Agreement in the Minimalist Programme. Berlin : Language Science Press, 2020.
Stabler 1996 — Stabler E. Derivational minimalism // LACL 1996. Vol. 1328. Heidelberg : Springer, 1996. P. 68–95.
Stabler 2013 — Stabler E. Two Models of Minimalist, Incremental Syntactic Analysis // Topics in cognitive science. 2013. Vol. 5, no. 3. P. 611–633.
DOI: https://doi.org/10.52119/LPHS.2022.69.13.002
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2023 Oleg Domanov
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.