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