<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="pezlar-2019-translating">
    <titleInfo>
        <title>Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Ivo</namePart>
        <namePart type="family">Pezlar</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2019-06</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Rainer</namePart>
            <namePart type="family">Osswald</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>
        <name type="personal">
            <namePart type="given">Peter</namePart>
            <namePart type="family">Sutton</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Gothenburg, Sweden</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">pezlar-2019-translating</identifier>
    <identifier type="doi">10.18653/v1/W19-1002</identifier>
    <location>
        <url>https://aclanthology.org/W19-1002</url>
    </location>
    <part>
        <date>2019-06</date>
        <extent unit="page">
            <start>10</start>
            <end>18</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
%A Pezlar, Ivo
%Y Osswald, Rainer
%Y Retoré, Christian
%Y Sutton, Peter
%S Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
%D 2019
%8 June
%I Association for Computational Linguistics
%C Gothenburg, Sweden
%F pezlar-2019-translating
%R 10.18653/v1/W19-1002
%U https://aclanthology.org/W19-1002
%U https://doi.org/10.18653/v1/W19-1002
%P 10-18

Markdown (Informal)

[Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory](https://aclanthology.org/W19-1002) (Pezlar, CSTFRS 2019)

• Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory (Pezlar, CSTFRS 2019)

ACL

• Ivo Pezlar. 2019. Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures, pages 10–18, Gothenburg, Sweden. Association for Computational Linguistics.