Proof nets with explicit negation for multiplicative linear logic

    Onderzoeksoutput: Boek/rapportRapportPopulair

    36 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieUtrecht
    UitgeverijUtrecht University
    Aantal pagina's86
    StatusGepubliceerd - 1998

    Publicatie series

    NaamRijksuniversiteit Utrecht. Mathematisch Instituut : preprint
    Volume1079

    Citeer dit