Interpreting modal natural deduction in type theory

V.A.J. Borghuis

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    Originele taal-2Engels
    TitelColloquium on Modal Logic 1991
    RedacteurenM. Rijke, de
    Plaats van productieAmsterdam
    UitgeverijDutch Network for Language, Logic and Information
    StatusGepubliceerd - 1991

    Citeer dit