@inbook{ef507057c1434c70b2a7322ae973d111,

title = "A Representation Principle for Sets and Functions",

abstract = "We present a representation principle for sets and functions, essentially meaning that sets and functions do exist in two different ways: as intuitive objects and as mathematical objects. In this paper some aspects of the relationship between these two ways are investigated. The principle has consequences for the concept of λ-calculus model and for the relationship between such models and set theory.",

author = "Jan Kuper",

year = "1987",

language = "English",

isbn = "90-6196-326-5",

series = "CWI Tract",

publisher = "Centre for Mathematics and Computer Science",

pages = "163--182",

editor = "P.R.J. Asveld and A. Nijholt",

booktitle = "Essays on concepts, formalisms, and tools",

}