Intensional models for the theory of types

R.A. Muskens

    Research output: Contribution to journalArticleScientificpeer-review

    65 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)98-118
    Number of pages21
    JournalThe journal of symbolic logic
    Volume72
    Issue number1
    Publication statusPublished - 2007

    Cite this