Intensional models for the theory of types

    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

    @article{534e898557cd4c7b91dc23ec440ded03,
    title = "Intensional models for the theory of types",
    author = "R.A. Muskens",
    note = "Pagination: 21",
    year = "2007",
    language = "English",
    volume = "72",
    pages = "98--118",
    journal = "The journal of symbolic logic",
    issn = "0022-4812",
    publisher = "Association for Symbolic Logic",
    number = "1",

    }

    Intensional models for the theory of types. / Muskens, R.A.

    In: The journal of symbolic logic, Vol. 72, No. 1, 2007, p. 98-118.

    Research output: Contribution to journalArticleScientificpeer-review

    TY - JOUR

    T1 - Intensional models for the theory of types

    AU - Muskens, R.A.

    N1 - Pagination: 21

    PY - 2007

    Y1 - 2007

    M3 - Article

    VL - 72

    SP - 98

    EP - 118

    JO - The journal of symbolic logic

    JF - The journal of symbolic logic

    SN - 0022-4812

    IS - 1

    ER -