{"id":{"repo_id":"wlv","oai_identifier":"oai:wlv.openrepository.com:2436/624322"},"canonical_url":"https://search.dev.ndltd.org/etd/wlv/oai:wlv.openrepository.com:2436/624322","repository":{"repo_id":"wlv","name":"University of Wolverhampton","base_url":"https://wlv.openrepository.com/server/oai/request"},"display":{"title":"Parameterized monads in linguistics","abstract":"This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives.","abstract_html":"This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives.","abstract_has_math":false,"creators":["Viet, Ha Bui"],"institution":"University of Wolverhampton","degree_name":"PhD","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Le, An Ha"],"committee_chairs":[],"committee_members":[],"year":2021,"date_issued":"2021-06","date_published":"2021-06","updated_at":"2026-07-24T06:10:28Z","subjects":["formal semantics","monads","category theory","type theory","lambda calculus","demonstrative","dynamic semantics","imperative","dot types","conventional implicature"],"languages":[],"rights":["Attribution-NonCommercial-NoDerivatives 4.0 International"],"rights_urls":["https://wlv.dspace7.openrepository.com/bitstreams/1f0e2ba8-cb5a-4389-8c2e-a38366d8c3b2/download"],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Le, An Ha"]},{"key":"dc:creator","label":"Author","values":["Viet, Ha Bui"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2021-06"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Wolverhampton"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["http://hdl.handle.net/2436/624322"]},{"key":"dc:type","label":"Dc Type","values":["Thesis or dissertation"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["PhD"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["formal semantics","monads","category theory","type theory","lambda calculus","demonstrative","dynamic semantics","imperative","dot types","conventional implicature"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["https://wlv.dspace7.openrepository.com/bitstreams/1f0e2ba8-cb5a-4389-8c2e-a38366d8c3b2/download","Attribution-NonCommercial-NoDerivatives 4.0 International"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://wlv.dspace7.openrepository.com/bitstreams/95c81c87-228f-4fb5-86fe-1d9159d8f4b6/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["5c0dd14acf6e18154a3d367fbcec2814","8a4605be74aa9ea9d79846c1fba20a33","585d46fdedb8433131111d8abda5be62"]},{"key":"dc:title","label":"Title","values":["Parameterized monads in linguistics"]}]}],"canonical_facts":{"dc:contributor.advisor":["Le, An Ha"],"dc:creator":["Viet, Ha Bui"],"dc:date.issued":["2021-06"],"dc:description.abstract":["This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives."],"dc:format.checksum.md5":["5c0dd14acf6e18154a3d367fbcec2814","8a4605be74aa9ea9d79846c1fba20a33","585d46fdedb8433131111d8abda5be62"],"dc:identifier.uri":["https://wlv.dspace7.openrepository.com/bitstreams/95c81c87-228f-4fb5-86fe-1d9159d8f4b6/download"],"dc:publisher.institution":["University of Wolverhampton"],"dc:relation.isreferencedby":["http://hdl.handle.net/2436/624322"],"dc:rights":["https://wlv.dspace7.openrepository.com/bitstreams/1f0e2ba8-cb5a-4389-8c2e-a38366d8c3b2/download","Attribution-NonCommercial-NoDerivatives 4.0 International"],"dc:subject":["formal semantics","monads","category theory","type theory","lambda calculus","demonstrative","dynamic semantics","imperative","dot types","conventional implicature"],"dc:title":["Parameterized monads in linguistics"],"dc:type":["Thesis or dissertation"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["PhD"]},"updated_at":"2026-07-24T06:10:28Z"}