Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-26T07:50:24.904Z Has data issue: false hasContentIssue false
  • English
  • Français

Realizability: a historical essay

Published online by Cambridge University Press:  06 August 2002

JAAP VAN OOSTEN
JAAP VAN OOSTEN
Affiliation:
Department of Mathematics, P.O.Box 80.010, 3508 TA Utrecht, The Netherlands. Email: jvoosten@math.uu.nl
Get access Rights & Permissions [Opens in a new window]

Abstract

The purpose of this short paper is to sketch the development of a few basic topics in the history of realizability. The number of topics is quite limited and reflects very much my own personal taste, prejudices and area of competence.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 12 , Issue 3 , June 2002 , pp. 239 - 263
Copyright
© 2002 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.)