added entries for jlm paper
This commit is contained in:
parent
a61e10116f
commit
18d0afa6fd
26
compsci.bib
26
compsci.bib
|
@ -95,6 +95,24 @@
|
||||||
year = {1975}
|
year = {1975}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@InProceedings{doczal2013constructive,
|
||||||
|
pages = {82--97},
|
||||||
|
booktitle = {International Conference on Certified Programs and Proof},
|
||||||
|
year = {2013},
|
||||||
|
title = {A constructive theory of regular languages in Coq},
|
||||||
|
author = {Doczkal, Christian and Kaiser, Jan-Oliver and Smolka, Gert}
|
||||||
|
}
|
||||||
|
|
||||||
|
@Article{doczkal2018regular,
|
||||||
|
pages = {521--553},
|
||||||
|
number = {1},
|
||||||
|
volume = {61},
|
||||||
|
year = {2018},
|
||||||
|
journaltitle = {Journal of Automated Reasoning},
|
||||||
|
title = {Regular language representations in the constructive type theory of Coq},
|
||||||
|
author = {Doczkal, Christian, and Smolka, Gert}
|
||||||
|
}
|
||||||
|
|
||||||
@Article{gilbert2002brewer,
|
@Article{gilbert2002brewer,
|
||||||
pages = {51--59},
|
pages = {51--59},
|
||||||
number = {2},
|
number = {2},
|
||||||
|
@ -216,6 +234,14 @@
|
||||||
author = {Ungar, David and Kimelman, Doug and Adams, Sam}
|
author = {Ungar, David and Kimelman, Doug and Adams, Sam}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@InProceedings{yannakakis2000hierarchical,
|
||||||
|
pages = {315--330},
|
||||||
|
booktitle = {IFIP International Conference on Theoretical Computer Science},
|
||||||
|
year = {2000},
|
||||||
|
title = {Hierarchical state machines},
|
||||||
|
author = {Yannakakis, Mihalis}
|
||||||
|
}
|
||||||
|
|
||||||
@Comment{
|
@Comment{
|
||||||
Local Variables:
|
Local Variables:
|
||||||
bibtex-dialect: biblatex
|
bibtex-dialect: biblatex
|
||||||
|
|
|
@ -731,6 +731,16 @@
|
||||||
title = {A functional theory of gender paradigms}
|
title = {A functional theory of gender paradigms}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Article{eddington2000analogy,
|
||||||
|
pages = {281--298},
|
||||||
|
number = {4},
|
||||||
|
volume = {110},
|
||||||
|
year = {2000},
|
||||||
|
journaltitle = {Lingua},
|
||||||
|
title = {Analogy and the dual-route model of morphology},
|
||||||
|
author = {Eddington, David}
|
||||||
|
}
|
||||||
|
|
||||||
@Unpublished{eddington2002plurals,
|
@Unpublished{eddington2002plurals,
|
||||||
keywords = {plurals},
|
keywords = {plurals},
|
||||||
file = {Documents/reading/morphology/eddington2002plurals.pdf},
|
file = {Documents/reading/morphology/eddington2002plurals.pdf},
|
||||||
|
@ -1157,6 +1167,17 @@
|
||||||
year = {2003}
|
year = {2003}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Article{keuleers2007memory,
|
||||||
|
pages = {151--174},
|
||||||
|
number = {2},
|
||||||
|
volume = {6},
|
||||||
|
year = {2007},
|
||||||
|
journaltitle = {Lingue e linguaggio},
|
||||||
|
subtitle = {A methodological case-study},
|
||||||
|
title = {Memory-based learning models of inflectional morphology},
|
||||||
|
author = {Keuleers, Emmanuel and Daelemans, Walter}
|
||||||
|
}
|
||||||
|
|
||||||
@Article{kinkade1963phonology,
|
@Article{kinkade1963phonology,
|
||||||
pages = {345--356},
|
pages = {345--356},
|
||||||
number = {4},
|
number = {4},
|
||||||
|
|
|
@ -366,6 +366,16 @@
|
||||||
publisher = {Elsevier}
|
publisher = {Elsevier}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Article{kalashnikova2018acceptance,
|
||||||
|
pages = {1517--1530},
|
||||||
|
number = {6},
|
||||||
|
volume = {23},
|
||||||
|
year = {2018},
|
||||||
|
journaltitle = {International Journal of Bilingualism},
|
||||||
|
title = {Acceptance of lexical overlap by monolingual and bilingual toddlers},
|
||||||
|
author = {Kalashnikova, Marina and Oliveri, Aimee and Mattock, Karen}
|
||||||
|
}
|
||||||
|
|
||||||
@incollection{lashley1951problem,
|
@incollection{lashley1951problem,
|
||||||
title = {The problem of serial order in behavior},
|
title = {The problem of serial order in behavior},
|
||||||
author = {Lashley, Karl Spencer},
|
author = {Lashley, Karl Spencer},
|
||||||
|
|
|
@ -80,6 +80,25 @@
|
||||||
school = {New York University}
|
school = {New York University}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@InProceedings{chatzikyriakidis2013adjectives,
|
||||||
|
pages = {159--174},
|
||||||
|
booktitle = {Formal Grammar},
|
||||||
|
year = {2013},
|
||||||
|
title = {Adjectives in a modern type-theoretical setting},
|
||||||
|
author = {Chatzikyriakidis, Stergios and Luo, Zhaohui}
|
||||||
|
}
|
||||||
|
|
||||||
|
@Article{chatzikyriakidis2017adjectival,
|
||||||
|
pages = {45--88},
|
||||||
|
number = {1},
|
||||||
|
volume = {26},
|
||||||
|
year = {2017},
|
||||||
|
journaltitle = {Journal of Logic, Language and Information},
|
||||||
|
subtitle = {The view from modern type theories},
|
||||||
|
title = {Adjectival and adverbial modification},
|
||||||
|
author = {Chatzikyriakidis, Stergios and Luo, Zhaohui}
|
||||||
|
}
|
||||||
|
|
||||||
@book{chierchia1990meaning,
|
@book{chierchia1990meaning,
|
||||||
title = {Meaning and Grammar},
|
title = {Meaning and Grammar},
|
||||||
author = {Chierchia, Emmanuel and McConnell-Ginet, Sally},
|
author = {Chierchia, Emmanuel and McConnell-Ginet, Sally},
|
||||||
|
@ -198,6 +217,25 @@
|
||||||
author = {Kamp, Hans}
|
author = {Kamp, Hans}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Article{kamp1995prototype,
|
||||||
|
pages = {129--191},
|
||||||
|
number = {2},
|
||||||
|
volume = {57},
|
||||||
|
year = {1995},
|
||||||
|
journaltitle = {Cognition},
|
||||||
|
title = {Prototype theory and compositionality},
|
||||||
|
author = {Kamp, Hans and Partee, Barbara}
|
||||||
|
}
|
||||||
|
|
||||||
|
@InBook{kamp2013two,
|
||||||
|
pages = {225--261},
|
||||||
|
booksubtitle = {Selected papers of Hans Kamp},
|
||||||
|
booktitle = {Meaning and the dynamics of interpretation},
|
||||||
|
author = {Kamp, Hans},
|
||||||
|
year = {2013},
|
||||||
|
title = {Two theories about adjectives}
|
||||||
|
}
|
||||||
|
|
||||||
@inbook{kaplan1989demonstratives,
|
@inbook{kaplan1989demonstratives,
|
||||||
title = {Demonstratives},
|
title = {Demonstratives},
|
||||||
booktitle = {Themes from Kaplan},
|
booktitle = {Themes from Kaplan},
|
||||||
|
@ -228,6 +266,16 @@
|
||||||
author = {Katz, Jerrold J. and Fodor, Jerry A.}
|
author = {Katz, Jerrold J. and Fodor, Jerry A.}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Article{kennedy2005scale,
|
||||||
|
pages = {345--381},
|
||||||
|
number = {2},
|
||||||
|
volume = {81},
|
||||||
|
year = {2005},
|
||||||
|
journaltitle = {Language},
|
||||||
|
title = {Scale structure, degree modification, and the semantics of gradable predicates},
|
||||||
|
author = {Kennedy, Christopher and McNally, Louise}
|
||||||
|
}
|
||||||
|
|
||||||
@InBook{kennedy2013chris,
|
@InBook{kennedy2013chris,
|
||||||
pages = {347--360},
|
pages = {347--360},
|
||||||
booktitle = {Routledge Companion to Philosophy of Language},
|
booktitle = {Routledge Companion to Philosophy of Language},
|
||||||
|
@ -417,6 +465,25 @@
|
||||||
publisher = {Springer}
|
publisher = {Springer}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@InBook{partee2007compositionality,
|
||||||
|
pages = {145--161},
|
||||||
|
booktitle = {Cognitive Foundations of Interpretation},
|
||||||
|
author = {Partee, Barbara},
|
||||||
|
year = {2007},
|
||||||
|
subtitle = {The dynamics of adjective meaning},
|
||||||
|
title = {Compositionality and coercion in semantics}
|
||||||
|
}
|
||||||
|
|
||||||
|
@InBook{partee2010privative,
|
||||||
|
pages = {273--285},
|
||||||
|
booksubtitle = {Essays Offered to Hans Kamp},
|
||||||
|
booktitle = {Presuppositions and Discourse},
|
||||||
|
author = {Partee, Barbara},
|
||||||
|
year = {2010},
|
||||||
|
subtitle = {Subsective plus coercion},
|
||||||
|
title = {Privative adjectives}
|
||||||
|
}
|
||||||
|
|
||||||
@incollection{plummer2012agnostic,
|
@incollection{plummer2012agnostic,
|
||||||
title = {Agnostic possible worlds semantics},
|
title = {Agnostic possible worlds semantics},
|
||||||
author = {Plummer, Andrew and Pollard, Carl},
|
author = {Plummer, Andrew and Pollard, Carl},
|
||||||
|
@ -485,6 +552,14 @@
|
||||||
author = {Ranta, Aarne}
|
author = {Ranta, Aarne}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Unpublished{retore2014type,
|
||||||
|
url = {https://arxiv.org/pdf/1301.4938},
|
||||||
|
year = {2014},
|
||||||
|
subtitle = {The {M}ontagovian generative lexicon},
|
||||||
|
title = {A type theoretical framework for natural language semantics},
|
||||||
|
author = {Retoré, Christian}
|
||||||
|
}
|
||||||
|
|
||||||
@InProceedings{roberts1996information,
|
@InProceedings{roberts1996information,
|
||||||
pages = {91--136},
|
pages = {91--136},
|
||||||
volume = {49},
|
volume = {49},
|
||||||
|
|
Loading…
Reference in New Issue