Type and Effect Systems

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationCorrect System Design
    Publication date1999
    Pages114-136
    Publication statusPublished - 1999

    Cite this