Hostname: page-component-8448b6f56d-jr42d Total loading time: 0 Render date: 2024-04-23T12:45:53.858Z Has data issue: false hasContentIssue false
  • English
  • Français

Collections, sets and types

Published online by Cambridge University Press:  01 February 1999

GILLES DOWEK
GILLES DOWEK
Affiliation:
INRIA-Rocquencourt, B.P. 105, 78153 Le Chesnay Cedex, France. E-mail: Gilles.Dowek@inria.fr (http://coq.inria.fr/~dowek)
Get access Rights & Permissions [Opens in a new window]

Abstract

We give a formulation of simple type theory in which types are just sets. This theory is obtained by relativizing quantifiers and replacing typing predicates by membership of some sets. It can easily be extended to include predicate subtyping.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 9 , Issue 1 , February 1999 , pp. 109 - 123
Copyright
1999 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.)