Intensional models for the theory of types

R.A. Muskens

Research output: Contribution to journal › Article › Scientific › peer-review

169 Downloads (Pure)

Original language	English
Pages (from-to)	98-118
Number of pages	21
Journal	The journal of symbolic logic
Volume	72
Issue number	1
Publication status	Published - 2007

Access to Document

@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",

}