Proof nets with explicit negation for multiplicative linear logic

    Research output: Book/ReportReportPopular

    34 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages86
    Publication statusPublished - 1998

    Publication series

    NameRijksuniversiteit Utrecht. Mathematisch Instituut : preprint
    Volume1079

    Cite this