<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="luuk-2019-type">
    <titleInfo>
        <title>A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Erkki</namePart>
        <namePart type="family">Luuk</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2019-09</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2019)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Ruslan</namePart>
            <namePart type="family">Mitkov</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Galia</namePart>
            <namePart type="family">Angelova</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>INCOMA Ltd.</publisher>
            <place>
                <placeTerm type="text">Varna, Bulgaria</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>The paper presents NLC, a new formalism for modeling natural language (NL) compositionality. NLC is a functional type system (i.e. one based on mathematical functions and their types). Its main features include a close correspondence with NL and an integrated modeling of morphological, syntactic and semantic compositionality. The integration is effected with a subclass of compound types (types which are syntactic compounds of multiple types or their terms), while the correspondence is sought with function types and polymorphism. The paper also presents an implementation of NLC in Coq. The implementation formalizes a diverse fragment of NL, with NLC expressions type checking and failing to type check in exactly the same ways that NL expressions pass and fail their acceptability tests. Among other things, this demonstrates the possibility of reducing morphological, syntactic and semantic compositionality to a single level of description. The level is tentatively identified with semantic compositionality — an interpretation which, besides being supported by results from language processing, has interesting implications on NL structure and modeling.</abstract>
    <identifier type="citekey">luuk-2019-type</identifier>
    <identifier type="doi">10.26615/978-954-452-056-4_078</identifier>
    <location>
        <url>https://aclanthology.org/R19-1078</url>
    </location>
    <part>
        <date>2019-09</date>
        <extent unit="page">
            <start>664</start>
            <end>673</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description
%A Luuk, Erkki
%Y Mitkov, Ruslan
%Y Angelova, Galia
%S Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2019)
%D 2019
%8 September
%I INCOMA Ltd.
%C Varna, Bulgaria
%F luuk-2019-type
%X The paper presents NLC, a new formalism for modeling natural language (NL) compositionality. NLC is a functional type system (i.e. one based on mathematical functions and their types). Its main features include a close correspondence with NL and an integrated modeling of morphological, syntactic and semantic compositionality. The integration is effected with a subclass of compound types (types which are syntactic compounds of multiple types or their terms), while the correspondence is sought with function types and polymorphism. The paper also presents an implementation of NLC in Coq. The implementation formalizes a diverse fragment of NL, with NLC expressions type checking and failing to type check in exactly the same ways that NL expressions pass and fail their acceptability tests. Among other things, this demonstrates the possibility of reducing morphological, syntactic and semantic compositionality to a single level of description. The level is tentatively identified with semantic compositionality — an interpretation which, besides being supported by results from language processing, has interesting implications on NL structure and modeling.
%R 10.26615/978-954-452-056-4_078
%U https://aclanthology.org/R19-1078
%U https://doi.org/10.26615/978-954-452-056-4_078
%P 664-673

Markdown (Informal)

[A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description](https://aclanthology.org/R19-1078) (Luuk, RANLP 2019)

• A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description (Luuk, RANLP 2019)

ACL

• Erkki Luuk. 2019. A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description. In Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2019), pages 664–673, Varna, Bulgaria. INCOMA Ltd..