<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="bernardy-chatzikyriakidis-2017-type">
    <titleInfo>
        <title>A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Jean-Philippe</namePart>
        <namePart type="family">Bernardy</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Stergios</namePart>
        <namePart type="family">Chatzikyriakidis</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2017</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 12th International Conference on Computational Semantics (IWCS) — Long papers</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Claire</namePart>
            <namePart type="family">Gardent</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Christian</namePart>
            <namePart type="family">Retoré</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">bernardy-chatzikyriakidis-2017-type</identifier>
    <location>
        <url>https://aclanthology.org/W17-6801</url>
    </location>
    <part>
        <date>2017</date>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq
%A Bernardy, Jean-Philippe
%A Chatzikyriakidis, Stergios
%Y Gardent, Claire
%Y Retoré, Christian
%S Proceedings of the 12th International Conference on Computational Semantics (IWCS) — Long papers
%D 2017
%F bernardy-chatzikyriakidis-2017-type
%U https://aclanthology.org/W17-6801

Markdown (Informal)

[A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq](https://aclanthology.org/W17-6801) (Bernardy & Chatzikyriakidis, IWCS 2017)

• A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq (Bernardy & Chatzikyriakidis, IWCS 2017)

ACL

• Jean-Philippe Bernardy and Stergios Chatzikyriakidis. 2017. A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. In Proceedings of the 12th International Conference on Computational Semantics (IWCS) — Long papers.