<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="zwanziger-2019-dependently">
    <titleInfo>
        <title>Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Colin</namePart>
        <namePart type="family">Zwanziger</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2019-07</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 16th Meeting on the Mathematics of Language</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Philippe</namePart>
            <namePart type="family">de Groote</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Frank</namePart>
            <namePart type="family">Drewes</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Gerald</namePart>
            <namePart type="family">Penn</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Toronto, Canada</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">zwanziger-2019-dependently</identifier>
    <identifier type="doi">10.18653/v1/W19-5704</identifier>
    <location>
        <url>https://aclanthology.org/W19-5704</url>
    </location>
    <part>
        <date>2019-07</date>
        <extent unit="page">
            <start>40</start>
            <end>49</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat
%A Zwanziger, Colin
%Y de Groote, Philippe
%Y Drewes, Frank
%Y Penn, Gerald
%S Proceedings of the 16th Meeting on the Mathematics of Language
%D 2019
%8 July
%I Association for Computational Linguistics
%C Toronto, Canada
%F zwanziger-2019-dependently
%R 10.18653/v1/W19-5704
%U https://aclanthology.org/W19-5704
%U https://doi.org/10.18653/v1/W19-5704
%P 40-49

Markdown (Informal)

[Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat](https://aclanthology.org/W19-5704) (Zwanziger, MoL 2019)

• Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat (Zwanziger, MoL 2019)

ACL

• Colin Zwanziger. 2019. Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat. In Proceedings of the 16th Meeting on the Mathematics of Language, pages 40–49, Toronto, Canada. Association for Computational Linguistics.