Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-09T22:33:21.217Z Has data issue: false hasContentIssue false

Topological representation of the λ-calculus

Published online by Cambridge University Press:  01 February 2000

STEVEN AWODEY
Affiliation:
Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA 15213 USA. Email: [email protected]

Abstract

The λ-calculus can be represented topologically by assigning certain spaces to the types and certain continuous maps to the terms. Using a recent result from category theory, the usual calculus of λ-conversion is shown to be deductively complete with respect to such topological semantics. It is also shown to be functionally complete, in the sense that there is always a ‘minimal’ topological model in which every continuous function is λ-definable. These results subsume earlier ones using cartesian closed categories, as well as those employing so-called Henkin and Kripke λ-models.

Type
Research Article
Copyright
2000 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)