Abstract
| Original language | English |
|---|---|
| Title of host publication | Essays on concepts, formalisms, and tools |
| Subtitle of host publication | A collection of papers dedicated to Leo A.M. Verbeek |
| Editors | P.R.J. Asveld, A. Nijholt |
| Place of Publication | Amsterdam, The Netherlands |
| Publisher | Centre for Mathematics and Computer Science |
| Pages | 163-182 |
| Number of pages | 20 |
| ISBN (Print) | 90-6196-326-5 |
| Publication status | Published - 1987 |
Publication series
| Name | CWI Tract |
|---|---|
| Publisher | CWI (Centrum voor Wiskunde en Informatica) |
| Volume | 42 |
Fingerprint
Cite this
}
A Representation Principle for Sets and Functions. / Kuper, Jan .
Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. ed. / P.R.J. Asveld; A. Nijholt. Amsterdam, The Netherlands : Centre for Mathematics and Computer Science, 1987. p. 163-182 (CWI Tract; Vol. 42).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
TY - CHAP
T1 - A Representation Principle for Sets and Functions
AU - Kuper, Jan
PY - 1987
Y1 - 1987
N2 - 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.
AB - 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.
M3 - Chapter
SN - 90-6196-326-5
T3 - CWI Tract
SP - 163
EP - 182
BT - Essays on concepts, formalisms, and tools
A2 - Asveld, P.R.J.
A2 - Nijholt, A.
PB - Centre for Mathematics and Computer Science
CY - Amsterdam, The Netherlands
ER -