### 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

*Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek*(pp. 163-182). (CWI Tract; Vol. 42). Amsterdam, The Netherlands: Centre for Mathematics and Computer Science.

}

*Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek.*CWI Tract, vol. 42, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, pp. 163-182.

**A Representation Principle for Sets and Functions.** / Kuper, Jan .

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 -