• Home
  • Publications by year

Publications by year

Year of publication: 2012
All authors Titlesort icon Type Source
Robin Cooper Type Theory and Semantics in Flux Scientific journal article - peer reviewed Handbook of the Philosophy of Science Vol. 14, Philosophy of Linguistics, ed. by Ruth Kempson, Tim Fernando and Nicholas Asher
BibTeX
Year of publication: 2008
All authors Titlesort icon Type Source
Robin Cooper Type Theory with Records and Unification-based Grammar Scientific journal article - peer reviewed Logics for Linguistic Structures, ed. by Hamm, Fritz and Kepser, Stephan
BibTeX
Krasimir Angelov Type-Theoretical Bulgarian Grammar Conference paper - peer reviewed Proceedings of the 6th international conference on Advances in Natural Language Processing
BibTeX
Krasimir Angelov Type-Theoretical Resource Grammar for Bulgarian Conference paper - peer reviewed Abstract in Perspectives on Slavistics 3
BibTeX
Year of publication: 2015
All authors Titlesort icon Type Source
Robin Cooper, Jonathan Ginzburg Type Theory with Records for Natural Language Semantics Chapter in monograph, book - peer reviewed Handbook of Contemporary Semantic Theory (second edition), ed. by Shalom Lappin and Chris Fox, Wiley-Blackwell
BibTeX
Jonathan Ginzburg, Ellen Breitholtz, Robin Cooper, Julian Hough, Ye Tian Understanding Laughter Conference paper - peer reviewed Proceedings of 20th Amsterdam Colloquium, 16-18 December 2015, ed. by Thomas Brochhagen, Floris Roelofsen and Nadine Theiler
BibTeX
Year of publication: 2014
All authors Titlesort icon Type Source
Simon Dobnik, Robin Cooper, Staffan Larsson Type Theory with Records: a General Framework for Modelling Spatial Language Conference paper - peer reviewed Proceeds of The Second Workshop on Action, Perception and Language (APL'2) at The Fifth Swedish Language Technology Conference (SLTC), Uppsala
BibTeX
Year of publication: 2013
All authors Titlesort icon Type Source
Robin Cooper Type theory, interaction and the perception of linguistic and musical events Chapter in monograph, book - peer reviewed Language, Music and Interaction, ed. by Martin Orwin, Christine Howes and Ruth Kempson
BibTeX
Peter Ljunglöf Type-based Human-Computer Interaction Conference paper - peer reviewed TYPES 2013: Types for Proofs and Programs
BibTeX
Year of publication: 2011
All authors Titlesort icon Type Source
Ramona Enache, Krasimir Angelov Typeful Ontologies with Direct Multilingual Verbalization Conference paper - peer reviewed LNCS Post-Proceedings of the Controlled Natural Languages Workshop (CNL 2010), Marettimo, Italy
BibTeX
X
Loading