Information systems, continuity and realizability

Publisher Website

1 January 1984

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 341-359
https://doi.org/10.1007/3-540-12896-4_372

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Domains for denotational semantics
Published by Springer Nature ,1982
Continuity in Intuitionistic Set Theories
Published by Elsevier ,1979
Data Types as Lattices
SIAM Journal on Computing, 1976
Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types
Published by Elsevier ,1971
On the interpretation of intuitionistic number theory
The Journal of Symbolic Logic, 1945