Interpreting modal natural deduction in type theory

V.A.J. Borghuis

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageEnglish
    Title of host publicationColloquium on Modal Logic 1991
    EditorsM. Rijke, de
    Place of PublicationAmsterdam
    PublisherDutch Network for Language, Logic and Information
    Publication statusPublished - 1991

    Cite this