<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="hepple-1990-normal">
    <titleInfo>
        <title>Normal Form Theorem Proving for the Lambek Calculus</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Mark</namePart>
        <namePart type="family">Hepple</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>1990</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics</title>
        </titleInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">hepple-1990-normal</identifier>
    <location>
        <url>https://aclanthology.org/C90-2030</url>
    </location>
    <part>
        <date>1990</date>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Normal Form Theorem Proving for the Lambek Calculus
%A Hepple, Mark
%S COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics
%D 1990
%F hepple-1990-normal
%U https://aclanthology.org/C90-2030

Markdown (Informal)

[Normal Form Theorem Proving for the Lambek Calculus](https://aclanthology.org/C90-2030) (Hepple, COLING 1990)

• Normal Form Theorem Proving for the Lambek Calculus (Hepple, COLING 1990)

ACL

• Mark Hepple. 1990. Normal Form Theorem Proving for the Lambek Calculus. In COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics.