Extensional realizability
Under an Elsevier user license
open archive
MSC
03F50
03F55
18B25
Keywords
Extensional realizability
Intuitionistic arithmetic
Partial combinatory algebras
Realizability toposes
Cited by (0)
Copyright © 1997 Published by Elsevier B.V.